PKind
From MaRDI portal
Software:32840
swMATH21027MaRDI QIDQ32840FDOQ32840
Author name not available (Why is that?)
Source code repository: https://github.com/coco-team/pkind
Cited In (8)
- 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
- 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
