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
- 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
- Software Verification with PDR: An Implementation of the State of the Art
This page was built for software: CTIGAR
