Vacuum Cleaning CTL Formulae
Abstract elided by the publisher.
Related papers
- Formula-Dependent Equivalence for Compositional CTL Model Checking CAV 1994
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018
- Making prophecies with decision predicates POPL 2011
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Synthesizing Reactive Systems from Hyperproperties CAV 2018
- Model Checking and Modular Verification TOPLAS 1994
- Presentation of the 9th Edition of the Model Checking Contest TACAS 2019