Beyond Model Checking
No abstract available.
DOI 10.1007/3-540-58179-0_56
Related papers
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond TACAS 1998
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Checking Herbrand Equalities and Beyond VMCAI 2005
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) TACAS 2024
- Deciding Asynchronous Hyperproperties for Recursive Programs POPL 2024
- 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025