4 papers
A Few Considerations on Structural and Logical Composition in Specification Theories
Axel Legay, Andrzej Wąsowski
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a l…
Proceedings Foundations for Interface Technologies
Axel Legay, Benoît Caillaud
FIT stands for Foundations of Interface Technologies. Component-based design is widely considered as a major approach to developing systems in a time and cost effective way. Centra…
A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking
Ahmed Bouajjani, Axel Legay, Pierre Wolper
Since the topic emerged several years ago, work on regular model checking has mostly been devoted to the verification of state reachability and safety properties. Though it was kno…
On (Omega-)Regular Model Checking
Axel Legay, Pierre Wolper
Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable s…