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