ZingModelChecker/Zing
Zing : An explicit state model checker for concurrent and message passing programs.
C#MIT
Stargazers
- ankushdesaiAmazon Web Services
- AviAvniFalkorDB
- bent-rasmussen@StaticalCompany @Observito
- bestchaiUniversity of British Columbia
- dbremnerSeattle
- eloraibyNVidia, NeoCogi
- fMichaleczek@lexpek
- imarinzone
- lou1306TU Wien
- msviBavaria, Germany
- pdeligiaMicrosoft Research
- prakharjain3
- xianjimlizlg
- y-taka-23Tokyo, Japan
- yixinglu@vesoft-inc
- Zhedge1