CTIGAR
From MaRDI portal
Software:35083
No author found.
Related Items (11)
Improving Generalization in Software IC3 ⋮ Infinite-state invariant checking with IC3 and predicate abstraction ⋮ Software Verification with PDR: An Implementation of the State of the Art ⋮ Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays ⋮ Implicit semi-algebraic abstraction for polynomial dynamical systems ⋮ Dynamic Reductions for Model Checking Concurrent Software ⋮ A unifying view on SMT-based software verification ⋮ Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF ⋮ EUFORIA: complete software model checking with uninterpreted functions ⋮ Generalized property-directed reachability for hybrid systems ⋮ Abstraction-based incremental inductive coverability for Petri nets
This page was built for software: CTIGAR
