Model-Checking for Real-Time Systems Specified in Lotos
No abstract available.
Related papers
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Local Model Checking for Real-Time Systems (Extended Abstract) CAV 1995
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems CAV 1998
- Time for Statistical Model Checking of Real-Time Systems CAV 2011
- Kronos: A Model-Checking Tool for Real-Time Systems CAV 1998
- Compiler Construction Using LOTOS NT CC 2002
- Compositional State Space Generation from Lotos Programs TACAS 1997
- Extension of the Karp and Miller Procedure to Lotos Specifications CAV 1990