swMATH21027MaRDI QIDQ32840FDOQ32840
Author name not available (Why is that?)
Official website: https://github.com/coco-team/pkind
Source code repository: https://github.com/coco-team/pkind
Cited In (18)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Software verification with PDR: an implementation of the state of the art
- Title not available (Why is that?)
- Tableaux for verification of data-centric processes
- ESBMC
- InvA
- CSIsat
- Wolverine
- BOXES
- JKind
- Tip
- CTIGAR
- APT
- SMTS
- SMTS: Distributed, Visualized Constraint Solving
- Infinite-state invariant checking with IC3 and predicate abstraction
- A unifying view on SMT-based software verification
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
This page was built for software: PKind
