Monotonic Abstraction-Refinement for CTL
Abstract elided by the publisher.
Related papers
- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement CAV 2003
- Quantitative abstraction refinement POPL 2013
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Abstract Interpretation of CTL Properties SAS 2018
- Monotonicity and the Precision of Program Analysis POPL 2024
- Property-directed reachability as abstract interpretation in the monotone theory POPL 2022
- The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering POPL 1993
- Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions VMCAI 2008