Results of the 10th Edition of the Model Checking Contest (June 2020)
Channel: Fabrice Kordon
Date: 25/06/2020

This Video presents the results of the 10th edition of the Model Checking Contest. It presents the goals of this event, explains how participating tools are evaluated, presents the 2020 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