Results of the 2020 Model Checking Contest

certified medals of the MCC for 2020, see the original URL

Our tool, TINA, won a gold medal in the “state space” category of the Model-Checking Contest 2020, an international competition of model-checking tools for the verification of concurrent systems. This is the second year in a row that TINA came first in the “state space” category.

You can find more about how we managed to obtain this result by looking at the following publications:

(2019). Presentation of the 9th Edition of the Model Checking Contest. In Proc. of TACAS 2019.

PDF Project DOI

(2018). Petri Net Reductions for Counting Markings. In Proc. of SPIN 2018.

PDF Project DOI

(2019). Counting Petri net markings from reduction equations. International Journal on Software Tools for Technology Transfer (STTT).

Project DOI

Silvano DAL ZILIO
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.