BIP! Finder - Expressing iterative properties logically in a symbolic setting

Clear all

2004 • Expressing iterative properties logically in a symbolic setting

Authors: Carron Shankland, Jeremy Bryans, Lionel Morel

Abstract: We present a logic for reasoning about state transition systems (LOTOS behaviours) which allows properties involving repeated patterns over actions and data to be expressed. The state transition systems are derived from LOTOS behaviours; however, the logic is applicable to any similar formalism. The semantics of the logic is given with respect to symbolic transition systems, allowing reasoning about data to be separated from reasoning about flow of control. Several motivational examples are included.

External links: OpenAIRE

Works in BIP! associated with the specified OpenAIRE research product

Expressing Iterative Properties Logically in a Symbolic Setting

Carron Shankland, Jeremy Bryans, Lionel Morel

Algebraic Methodology and Software Technology · 2004

Theoretical computer science | Programming language | Algorithm |

Restricted/Closed Access

Article