Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
GreatSPN versus other tools, all performance charts («Known» models)
Last Updated
Oct 13, 2019
under construction
The MCC web site is currently under construction
Please have a look at the previous editions' material at this stage (see upper-right menu)


This page allows you to have a look on how GreatSPN performs face to other tools in the following examinations: