AlphaUncommon
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
- Owner
- nimble-code (personal account)
- Stars
- Stars: 479
- Forks
- Forks: 141
- Language
- C
- License
- None
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by nimble-code
All 2 repos by nimble-code- nimble-code/CobraStars: 232CPrototype
Nearby in C
All C repos- PSP-Arkfive/ARK-5Stars: 479CAlpha
- obijuankenobiii/inxStars: 479CAlpha
- Twotoz/C5VRXStars: 479CAlpha
- adafruit/adafruit-beaglebone-io-pythonStars: 479CAlpha
- Netatalk/netatalkStars: 479CAlpha
- abhishek-kakkar/BeagleLogicStars: 479CAlpha