Kind 2
From MaRDI portal
Software:32841
swMATH21028MaRDI QIDQ32841FDOQ32841
Author name not available (Why is that?)
Cited In (6)
- 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
- SMT-based generation of symbolic automata
- Infinite-state invariant checking with IC3 and predicate abstraction
This page was built for software: Kind 2
