Regression Verification: Proving the Equivalence of Similar Programs
No abstract available.
Related papers
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Incremental predicate analysis for regression verification OOPSLA 2020
- Regression Verification for Multi-threaded Programs VMCAI 2012
- Learning-Based Assume-Guarantee Regression Verification CAV 2016
- Program equivalence for assisted grading of functional programs OOPSLA 2020
- Automated Verification of Monotonic Data Structure Traversals in C CAV 2025
- Verification modulo versions: towards usable verification PLDI 2014
- An Algebra of Alignment for Relational Verification POPL 2023