PrototypeCommune
kind2-mc/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
- Propriétaire
- kind2-mc (organisation)
- Étoiles
- Étoiles : 129
- Forks
- Forks : 36
- Langage
- OCaml
- Licence
- Apache-2.0
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- Kappa-Dev/KappaToolsÉtoiles : 129OCamlPrototype
- arenadotio/pgxÉtoiles : 129OCamlPrototype
- janestreet/strace_uiÉtoiles : 129OCamlPrototype
- andrejbauer/marshallÉtoiles : 128OCamlPrototype