Lockstep composition for unbalanced loops
From MaRDI portal
Publication:6536133
DOI10.1007/978-3-031-30820-8_18zbMATH Open1547.68118MaRDI QIDQ6536133FDOQ6536133
Authors: Ameer Hamza, Grigory Fedyukovich 
Publication date: 5 April 2024
Cites Work
- Regression verification for unbalanced recursive functions
- A self-certifying compilation framework for WebAssembly
- Abstract Semantic Differencing for Numerical Programs
- Inference rules for proving the equivalence of recursive procedures
- Property directed self composition
- Quantified invariants via syntax-guided synthesis
- Constraint-based relational verification
- Automating regression verification of pointer programs by predicate abstraction
- Relational verification through Horn clause transformation
- Modular Demand-Driven Analysis of Semantic Difference for Program Versions
- Synchronizing Constrained Horn Clauses
- Transition power abstractions for deep counterexample detection
This page was built for publication: Lockstep composition for unbalanced loops
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536133)
