Enhancing Program Verification with Lemmas
No abstract available.
Related papers
- Formally Verified EVM Block-Optimizations CAV 2023
- ARENA: Enhancing Abstract Refinement for Neural Network Verification VMCAI 2023
- Theory Exploration Powered by Deductive Synthesis CAV 2021
- An integrated proof language for imperative programs PLDI 2009
- Enhancing modular OO verification with separation logic POPL 2008
- A Framework for Combining Analysis and Verification POPL 2000
- Roadmap for enhanced languages and methods to aid verification GPCE 2006
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification ESOP 2018