Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Last Updated
Apr. 26, 2013


The Model Checking Contest is organized by the following people.

General Chairs:

Technical Chairs:

Dedicated Experts:

Contest Commitee:

It is composed with known expert in model checking tool strategies and development as well as the submitters of the previous editions. They are expected to validate choices, help in selecting model proposal and promote the contest.