Regression Verification for Multi-threaded Programs
Abstract elided by the publisher.
Related papers
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005
- Satisfiability modulo ordering consistency theory for multi-threaded program verification PLDI 2021
- Interference relation-guided SMT solving for multi-threaded program verification PPoPP 2022
- Regression Verification: Proving the Equivalence of Similar Programs CAV 2009
- Learning-Based Assume-Guarantee Regression Verification CAV 2016
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- Incremental predicate analysis for regression verification OOPSLA 2020