For details on the model checking contest, its call for models and schedule, please have a look at the contest web page at http://mcc.lip6.fr/.
