Verification of Gap-Order Constraint Abstractions of Counter Systems
No abstract available.
Related papers
- Axe 'Em: Eliminating Spurious States with Induction Axioms POPL 2025
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Higher order symbolic execution for contract verification and refutation JFP 2017
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Quantum Control Machine: The Limits of Control Flow in Quantum Programming OOPSLA 2024
- Sound and Complete Concolic Testing for Higher-order Functions ESOP 2021
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- C-SHORe: a collapsible approach to higher-order verification ICFP 2013