PKind

MaRDI QIDQ32840swMATHFDO

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

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

Cited in

(19)

• Generalized rewrite theories, coherence completion, and symbolic methods
• Software verification with PDR: an implementation of the state of the art
• scientific article; zbMATH DE number 7440190 (Why is no real title available?)
• SIGNAL
• ESBMC
• InvA
• CSIsat
• Wolverine
• BOXES
• JKind
• Tip
• CTIGAR
• APT
• SMTS
• 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