5 citations · 12 across the 14 of their papers we have counts for
6 papers · 1 filter
Logic Column 12: Logical Verification and Equational Verification
Riccardo Pucella
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler…
Logic Column 11: The Finite and the Infinite in Temporal Logic
Riccardo Pucella
This article examines the interpretation of the LTL temporal operators over finite and infinite sequences. This is used as the basis for deriving a sound and complete axiomatizatio…
On Partially Additive Kleene Algebras
Riccardo Pucella
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of…
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
This article illustrates the use of a logical specification language to capture various forms of confidentiality properties used in the security literature.
A Coalgebraic Approach to Kleene Algebra with Tests
Hubie Chen, Riccardo Pucella
Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Klee…
An Analysis of Lambek's Production Machines
Riccardo Pucella
Lambek's production machines may be used to generate and recognize sentences in a subset of the language described by a production grammar. We determine in this paper the subset of…