Validity Invariants and Effects
No abstract available.
DOI 10.1007/978-3-540-73589-2_11
Related papers
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Decidability of Invariant Validation for Paramaterized Systems TACAS 2003
- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants SAS 2016
- Learning refinement types ICFP 2015
- Modular reasoning about heap paths via effectively propositional formulas POPL 2014
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Program verification using templates over predicate abstraction PLDI 2009
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming TOPLAS 2025