GitHub repository: saucisson/mcc
Primary language: Shell
Created: 2017-07-26T07:21:15Z
Description: Model Checker Collection for the Model Checking Contest @ Petri nets