Model-Checking for a Subclass of Event Structures
No abstract available.
Related papers
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Modeling Concurrency in Parallel Debugging PPoPP 1990
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995
- Stepwise CTL Model Checking of State/Event Systems CAV 1999
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- Stateless model checking of event-driven applications OOPSLA 2015
- An Alternative to Subclassing OOPSLA 1986