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
- Title not available (Why is that?)
- SMTS: Distributed, Visualized Constraint Solving
- Infinite-state invariant checking with IC3 and predicate abstraction
- Tableaux for Verification of Data-Centric Processes
- A unifying view on SMT-based software verification
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
- Software Verification with PDR: An Implementation of the State of the Art
This page was built for software: PKind
