Results of the 11th Edition of the Model Checking Contest (june 2021)
Channel: Fabrice Kordon
Date: 2021-06-23

This Video presents the results of the 11th edition of the Model Checking Contest. It presents the goals of this event, explains how participating tools are evaluated, presents the 2021 participants, and finally details the results for this year. Due to the COVID-19 Crisis, this event could not take place physically aside the Petri Net conference in Paris.

To know more about the Model Checking Contest, please have a look at https://mcc.lip6.fr