Compressing Transitions for Model Checking
No abstract available.
Related papers
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock TACAS 1995
- Model Checking Modal Transition Systems Using Kripke Structures VMCAI 2002
- Model Checking and Transitive-Closure Logic CAV 1997
- Transition-Based Directed Model Checking TACAS 2009
- Efficient Model Checking by Automated Ordering of Transition Relation Partitions CAV 1994
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems TACAS 2026
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012