Transition-Based Directed Model Checking
Abstract elided by the publisher.
Related papers
- Higher-Order Property-Directed Reachability ICFP 2023
- Model Checking Modal Transition Systems Using Kripke Structures VMCAI 2002
- Model Checking and Transitive-Closure Logic CAV 1997
- Compressing Transitions for Model Checking CAV 2002
- 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