Kind 2
From MaRDI portal
Software:32841
No author found.
Related Items (6)
Normalising Lustre preserves security ⋮ Infinite-state invariant checking with IC3 and predicate abstraction ⋮ Progress in certifying hardware model checking results ⋮ SMT-based generation of symbolic automata ⋮ Formal verification of timed synchronous dataflow graphs using lustre ⋮ ICE-based refinement type discovery for higher-order functional programs
This page was built for software: Kind 2
