nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
CNOASSERTION
Stargazers
- abertschiZurich, Switzerland
- agroceNorthern Arizona University (SICCS)
- albertnetymkStockholm, Sweden
- bagobor
- BrunoGrifoLisbon
- cajtGermany
- CarlOlsonKyoto, Japan
- danielltbSydney, Australia
- elimisteve@RevolutionizeDev
- fusedFETLausanne, Switzerland
- gapryMacau, Macao
- JeffCarpenterCanada
- jimonStockholm, Sweden
- johnyfInria
- kaizsvTainan
- keck-in-spaceNASA
- kenkenji
- Kuniwak@dena
- kyechouMinneapolis
- ligurio
- ludovicm67@zazuko + @ludovic-muller + freelancer
- mooaccelBeijing,China
- MrSimbax
- msgoff
- NWMonster
- rajeshgangam
- renaudpawlakCinchéo
- ruoyu-chenBeijing Information Science and Technology University
- stephanietsueiUCLA
- tranvansangTokyo
- tungminhphanPasadena, USA
- whoiszycThe University of Texas at Arlington
- wlmnzfNanjing
- xbreak
- ZerakaIntel
- zheguangNetApp