Interpolant-Based Transition Relation Approximation
Abstract elided by the publisher.
Related papers
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Approximation Refinement for Interpolation-Based Model Checking VMCAI 2008
- Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains CAV 2025
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Decomposing Farkas Interpolants TACAS 2019
- Proving LTL Properties of Bitvector Programs and Decompiled Binaries APLAS 2021
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022