Compositional State Space Generation from Lotos Programs
No abstract available.
Related papers
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems TACAS 2000
- Compiler Construction Using LOTOS NT CC 2002
- Extension of the Karp and Miller Procedure to Lotos Specifications CAV 1990
- Model-Checking for Real-Time Systems Specified in Lotos CAV 1992
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach CAV 1991
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Compositional solution space quantification for probabilistic software analysis PLDI 2014
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995