HomeRulesCfPCall for ModelsOrganizersMCC 2011
Model Checking Contest @ PETRI NETS 2012
Hamburg, Germany, June 25-29 2012


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 participants of MCC-2011 @ SUMo.