GitHub topics: model-checking-contest
dalzilio/mcc
High-Level Nets Blaster for the Model-Checking Contest
Language: Go - Size: 1.18 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 10 - Forks: 1
Related Keywords