Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
No abstract available.
Related papers
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Interpolation and Quantifiers in Ortholattices VMCAI 2024
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Complete instantiation-based interpolation POPL 2013
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Incremental Algorithms for Inter-procedural Analysis of Safety Properties CAV 2005
- Scaling Inter-procedural Dataflow Analysis on the Cloud TOPLAS 2026
- Sharper and Simpler Nonlinear Interpolants for Program Verification APLAS 2017