Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

AMAST
2004
Springer

favoriteEmaildiscussreport

103views Software Engineering» more AMAST 2004»

Expressing Iterative Properties Logically in a Symbolic Setting

13 years 10 months ago

Expressing Iterative Properties Logically in a Symbolic Setting

Download www.dirc.org.uk

We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is given with respect to symbolic transition systems. Several motivational examples are included. The reader is assumed to have passing familiarity with LOTOS.

Carron Shankland, Jeremy Bryans, Lionel Morel

Real-time Traffic

AMAST 2004 | LOTOS Behaviours | Several Motivational Examples | Software Engineering | Symbolic Transition Systems |

claim paper

Related Content

» Topological Elementary Equivalence of Closed SemiAlgebraic Sets in The Real Plane

» Local Type Reconstruction by Means of Symbolic Fixed Point Iteration

» Learning Regular Expressions from Noisy Sequences

» Description Logics for Shape Analysis

» On the Verification of Very Expressive Temporal Properties of Nonterminating Golog Program...

» Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking

» On the Expression of Graph Properties in some Fragments of Monadic SecondOrder Logic

» Iterative remapping for logic circuits

» A New Modality for Almost Everywhere Properties in Timed Automata

Post Info
More Details (n/a)

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	AMAST
Authors	Carron Shankland, Jeremy Bryans, Lionel Morel

Comments (0)