PKind

MaRDI QIDQ32840swMATHFDO

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

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

Cited in

(19)

• SIGNAL
• A unifying view on SMT-based software verification
• ESBMC
• InvA
• Generalized rewrite theories, coherence completion, and symbolic methods
• CSIsat
• Infinite-state invariant checking with IC3 and predicate abstraction
• Wolverine
• Tableaux for verification of data-centric processes
• JKind
• Tip
• BOXES
• CTIGAR
• SMTS
• APT
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• Software verification with PDR: an implementation of the state of the art
• SMTS: Distributed, Visualized Constraint Solving
• Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

This page was built for software: PKind