Results of the 2020 Model Checking Contest

Silvano DAL ZILIO
Jun 28, 2020 1 min read
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:

Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf (2019). Presentation of the 9th Edition of the Model Checking Contest. In Proc. of TACAS 2019.

PDF Cite Project DOI

Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio (2018). Petri Net Reductions for Counting Markings. In Proc. of SPIN 2018.

PDF Cite Project DOI

Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio (2019). Counting Petri net markings from reduction equations. International Journal on Software Tools for Technology Transfer (STTT).

Cite Project DOI