Affine Disjunctive Invariant Generation with Farkas' Lemma
Abstract elided by the publisher.
Related papers
- Scalable linear invariant generation with Farkas' lemma OOPSLA 2022
- Affine Loop Invariant Generation via Matrix Algebra CAV 2022
- Decomposing Farkas Interpolants TACAS 2019
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints TACAS 2020
- Polynomial reachability witnesses via Stellensätze PLDI 2021
- Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification CAV 2000
- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants APLAS 2011