Abstract Interpretation of CTL Properties
Abstract elided by the publisher.
Related papers
- Temporal Abstract Interpretation POPL 2000
- Monotonic Abstraction-Refinement for CTL TACAS 2004
- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement CAV 2003
- On Automation of CTL* Verification for Infinite-State Systems CAV 2015
- Probabilistic CTL*: The Deductive Way TACAS 2016
- Branching Bisimulation Learning CAV 2025
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- Fairness for Infinite-State Systems TACAS 2015