nimble-code/Modex
a model extractor, to automatically extract Spin verification models from multi-threaded C code
C
Stargazers
- AiDaiPStudentUnion
- blaketeHuman on Earth
- CarlOlsonKyoto, Japan
- CIPopMicrosoft
- comeillfoo
- egor-achkasov
- gapryMacau, Macao
- h-moleGarleton College
- HalosGhost@mit-dci
- its-a-magical-worldNYC
- kikishao
- ligurio
- MountainLogicMicro-X
- NWMonster
- OneDeuxTriSeiGo
- slivingston@rerobots
- whoiszycThe University of Texas at Arlington
- yn-97
- yuhui-zhengAWS
- ZFeiXQOcean University of China