Property-directed inference of universal invariants or proving their absence
From MaRDI portal
Publication:3177887
Recommendations
- Property-directed inference of universal invariants or proving their absence
- Property-directed incremental invariant generation
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors
- Goal-directed invariant synthesis for model checking modulo theories
- Property directed abstract interpretation
Cited in
(17)- Stratified guarded first-order transition systems
- From invariant checking to invariant inference using randomized search
- Prenex universal first-order safety properties
- Efficiently learning safety proofs from appearance as well as behaviours
- Non-well-founded deduction for induction and coinduction
- Decidability of inferring inductive invariants
- Synthesizing history and prophecy variables for symbolic model checking
- Property-directed incremental invariant generation
- On invariant synthesis for parametric systems
- Inferring invariants with quantifier alternations: taming the search space explosion
- \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants
- Invariant inference with provable complexity from the monotone theory
- Property directed self composition
- Inferring inductive invariants from phase structures
- Property directed polyhedral abstraction
- Property-directed inference of universal invariants or proving their absence
- Goal-directed invariant synthesis for model checking modulo theories
This page was built for publication: Property-directed inference of universal invariants or proving their absence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177887)
