InvGen
From MaRDI portal
Software:21759
No author found.
Related Items (14)
Infinite-state invariant checking with IC3 and predicate abstraction ⋮ Lingva: Generating and Proving Program Properties Using Symbol Elimination ⋮ Backward symbolic execution with loop folding ⋮ Reasoning About Loops Using Vampire in KeY ⋮ An iterative approach to precondition inference using constrained Horn clauses ⋮ A Data Driven Approach for Algebraic Loop Invariants ⋮ Discovering invariants via simple component analysis ⋮ A learning-based approach to synthesizing invariants for incomplete verification engines ⋮ Generalizing the Template Polyhedral Domain ⋮ Horn clause verification with convex polyhedral abstraction and tree automata-based refinement ⋮ Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers ⋮ Aligators for Arrays (Tool Paper) ⋮ Loop Analysis by Quantification over Iterations ⋮ Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
This page was built for software: InvGen
