CTIGAR
From MaRDI portal
Cited in
(28)- Sally
- Btor2Tools
- Reveal
- A unifying view on SMT-based software verification
- Abstraction-based incremental inductive coverability for Petri nets
- ESBMC
- EUFORIA: complete software model checking with uninterpreted functions
- CSIsat
- Infinite-state invariant checking with IC3 and predicate abstraction
- Wolverine
- Dynamic reductions for model checking concurrent software
- PySMT
- HyComp
- PKind
- JKind
- Tip
- BOXES
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- VVT
- SAFARI
- iSAT
- EUFORIA
- Booster
- Software verification with PDR: an implementation of the state of the art
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Improving Generalization in Software IC3
- Generalized property-directed reachability for hybrid systems
- Implicit semi-algebraic abstraction for polynomial dynamical systems
This page was built for software: CTIGAR
