Formula-Dependent Equivalence for Compositional CTL Model Checking
No abstract available.
DOI 10.1007/3-540-58179-0_65
Related papers
- Model Checking and Modular Verification TOPLAS 1994
- Automatic Reduction in CTL Compositional Model Checking CAV 1992
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Generation of Minimum Tree-Like Witnesses for Existential CTL TACAS 2018
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Vacuum Cleaning CTL Formulae CAV 2002
- Model Checking with Formula-Dependent Abstract Models CAV 2001