Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification
No abstract available.
Related papers
- Transition Invariants Revisited: Termination Witnesses and Their Validation CAV 2026
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI 2023
- Counterexample-guided focus POPL 2010
- Modal Object Diagrams ECOOP 2011
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification CAV 2011
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Inductive invariant generation via abductive inference OOPSLA 2013