CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems
No abstract available.
DOI 10.1007/978-3-032-22749-2_15
Related papers
- Probabilistic CTL*: The Deductive Way TACAS 2016
- Branching Bisimulation Learning CAV 2025
- On Automation of CTL* Verification for Infinite-State Systems CAV 2015
- Fairness for Infinite-State Systems TACAS 2015
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- Incremental, Inductive Coverability CAV 2013