Practical, Low-Effort Equivalence Verification of Real Code
No abstract available.
Related papers
- Armada: low-effort verification of high-performance concurrent programs PLDI 2020
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- Automated verification of practical garbage collectors POPL 2009
- Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications POPL 2026
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
- Practical Verification of Smart Contracts using Memory Splitting OOPSLA 2024
- Automatic Goal Clone Detection in Rocq ECOOP 2025