Geeks
dalzilio
/
mcc
High-Level Nets Blaster for the Model-Checking Contest
Primary Language
Go
Other
NOASSERTION
mcc GitHub
Markdown
Readme
0
Issues
10
Stargazers
2
Watchers
Stargazers
anateus
dalzilio
LAAS-CNRS
himito
CNRS
jiach927
nicolasAmat
ONERA, The French Aerospace Lab
Perevalov
HTWK Leipzig & Uni Paderborn
petergjoel
@DEIS-Tools
Tephilla
India
yanntm
LIP6, Sorbonne Université, CNRS
yrke
@CEDARDK