PrototypeCommon
kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
- Owner
- kind2-mc (organization)
- Stars
- Stars: 129
- Forks
- Forks: 36
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- Kappa-Dev/KappaToolsStars: 129OCamlPrototype
- arenadotio/pgxStars: 129OCamlPrototype
- janestreet/strace_uiStars: 129OCamlPrototype
- andrejbauer/marshallStars: 128OCamlPrototype