PKind

MaRDI QIDQ32840swMATHFDO

Official website https://github.com/coco-team/pkind

Source code repository https://github.com/coco-team/pkind

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