PKind
From MaRDI portal
Software:32840
No author found.
Source code repository: https://github.com/coco-team/pkind
Related Items (8)
Infinite-state invariant checking with IC3 and predicate abstraction ⋮ Software Verification with PDR: An Implementation of the State of the Art ⋮ A unifying view on SMT-based software verification ⋮ Unnamed Item ⋮ Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ SMTS: Distributed, Visualized Constraint Solving ⋮ Tableaux for Verification of Data-Centric Processes
This page was built for software: PKind
