AlphaPeu commune
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
- Propriétaire
- nimble-code (compte personnel)
- Étoiles
- Étoiles : 479
- Forks
- Forks : 141
- Langage
- C
- Licence
- Aucune
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de nimble-code
Les 2 dépôts de nimble-code- nimble-code/CobraÉtoiles : 232CPrototype
D’autres dépôts C
Tous les dépôts C- PSP-Arkfive/ARK-5Étoiles : 479CAlpha
- obijuankenobiii/inxÉtoiles : 479CAlpha
- Twotoz/C5VRXÉtoiles : 479CAlpha
- adafruit/adafruit-beaglebone-io-pythonÉtoiles : 479CAlpha
- Netatalk/netatalkÉtoiles : 479CAlpha
- abhishek-kakkar/BeagleLogicÉtoiles : 479CAlpha