Loop Invariant Symbolic Execution for Parallel Programs
No abstract available.
Related papers
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Live Verification in an Interactive Proof Assistant PLDI 2024
- Control-flow refinement and progress invariants for bound analysis PLDI 2009
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Backward Symbolic Execution with Loop Folding SAS 2021
- A simple, verified validator for software pipelining POPL 2010
- Interprocedural parallelization analysis in SUIF TOPLAS 2005
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015