Merit: An Interpolating Model-Checker
No abstract available.
Related papers
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Decomposing Farkas Interpolants TACAS 2019
- Revisiting DRUP-Based Interpolants with CaDiCaL 2.0 TACAS 2025
- Interpolating Strong Induction CAV 2019
- CPV: A Circuit-Based Program Verifier TACAS 2024
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Abstractions from proofs POPL 2004
- Searching for i-Good Lemmas to Accelerate Safety Model Checking CAV 2023