swMATH21028MaRDI QIDQ32841FDOQ32841
Author name not available (Why is that?)
Official website: http://kind2-mc.github.io/kind2/
Cited In (19)
- Progress in certifying hardware model checking results
- ICE-based refinement type discovery for higher-order functional programs
- Normalising Lustre preserves security
- Formal verification of timed synchronous dataflow graphs using Lustre
- Sally
- LUSTRE
- HMC
- JKind
- Tip
- CTIGAR
- Yosys
- JBotSim
- Btor2Tools
- CoSA
- Pono
- SMT-based generation of symbolic automata
- Infinite-state invariant checking with IC3 and predicate abstraction
- Lurette
- velus
This page was built for software: Kind 2
