Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Home Page
Last Updated
Jun 28, 2021
June 28, 2021: Final deployment of the results of the MCC'2021'
June 23, 2021: Temporary deployment of the MCC'2021 results (polished version coming soon)
June 12, 2021: surprise models are out
February 5, 2021: updated version of the Submission kit (minor typo corrected since the January version)
January 17, 2021: new web site for 2021 ready (calls for models and for tools are out)
January 5, 2021: deployed web site for 2021 (yet in draft mode)

Results for the MCC 2021

As it is this year again a remote event, the MCC results will be out in two steps: