Kind 2

MaRDI QIDQ32841swMATHFDO

Official website http://kind2-mc.github.io/kind2/

Cited in

(19)

• CoSA
• Sally
• Btor2Tools
• Pono
• Formal verification of timed synchronous dataflow graphs using Lustre
• LUSTRE
• Normalising Lustre preserves security
• SMT-based generation of symbolic automata
• HMC
• Infinite-state invariant checking with IC3 and predicate abstraction
• JKind
• Tip
• CTIGAR
• Yosys
• JBotSim
• ICE-based refinement type discovery for higher-order functional programs
• Lurette
• velus
• Progress in certifying hardware model checking results

This page was built for software: Kind 2