Angelic Verification: Precise Verification Modulo Unknowns
Abstract elided by the publisher.
Related papers
- Memory-Safety Verification of Open Programs with Angelic Assumptions OOPSLA 2025
- Inductive Predicate Synthesis Modulo Programs ECOOP 2024
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Parameterized verification of transactional memories PLDI 2010
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025
- Satisfiability modulo ordering consistency theory for multi-threaded program verification PLDI 2021
- What's Decidable About Program Verification Modulo Axioms? TACAS 2020
- Shape Analysis via Second-Order Bi-Abduction CAV 2014