Cited in
(19)- Software verification with PDR: an implementation of the state of the art
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
- scientific article; zbMATH DE number 7440190 (Why is no real title available?)
- Infinite-state invariant checking with IC3 and predicate abstraction
- SIGNAL
- ESBMC
- InvA
- CSIsat
- Wolverine
- BOXES
- JKind
- Tip
- CTIGAR
- APT
- SMTS
- Generalized rewrite theories, coherence completion, and symbolic methods
- SMTS: Distributed, Visualized Constraint Solving
- A unifying view on SMT-based software verification
- Tableaux for verification of data-centric processes
This page was built for software: PKind
