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
Recommendations
- Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
- Program equivalence checking by two-tape automata
- Property directed equivalence via abstract simulation
- Regression verification for unbalanced recursive functions
- Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models
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)
