Automatic Reduction in CTL Compositional Model Checking
Abstract elided by the publisher.
Related papers
- Formula-Dependent Equivalence for Compositional CTL Model Checking CAV 1994
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- Fairness for Infinite-State Systems TACAS 2015
- Model Checking and Modular Verification TOPLAS 1994
- Model Checking CTL*[DC] TACAS 2001
- Structural Symbolic CTL Model Checking of Asynchronous Systems CAV 2003
- Incremental, Inductive CTL Model Checking CAV 2012
- Stepwise CTL Model Checking of State/Event Systems CAV 1999