CTIGAR
From MaRDI portal
Software:35083
swMATH23310MaRDI QIDQ35083FDOQ35083
Author name not available (Why is that?)
Cited In (11)
- EUFORIA: complete software model checking with uninterpreted functions
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- 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
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Generalized property-directed reachability for hybrid systems
- 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
