May 9, 2012: update of the submission kit with properties
the deadline is pushed up to May 20, 2012
Note: to have a lighter archive, folders PROPRIETARY have been removed,
if you need to locate your own format, just put your own with your own files in.

Call for Participation

After the call for model, the second call of the Model Checking Contest is the submission of Tools to be evaluated against the benchmark made of the MCC'2011 models, enriched with the models submitted during the first step of MCC'2012. To submit a tool, please respect the following procedure:

Download the tool submission kit at http://mcc.lip6.fr/archives/MCC2012-submission-kit.bz2 and read instructions ; you may also download the ISO image for the virtual machine here (it runs Linux Ubuntu server 11.04 with a full development environment.),
IMPORTANT: to have a lighter archive, directories PROPRIETARY have been removed. If you need to provide your own files, just create this directory and put your proprietary files in.
You may also separately get the public key to let us get connected to the virtual machine,
Since tools will be operated in a virtual machine, you may either reuse our proposed disk image (Linux Ubuntu server 11.04 with a full development environment) or provide your own (see instruction for this in the submission manual),
You can test your tool in the condition it will be operated during the contest,
Once the disk image is ready, have it reachable via an URL you provide to us using this link .

You may have a look at the submission manual here. A pdf version of the call is also available here.

Operating the virtual machine from the disk image

The provided image is a qemu/kvm machine (this is the technology we have on the cluster that will execute the tests). Assuming the hard-disk image is mcc-linux.hdd, you may start it with the following Linux command:

$ kvm -m 1024 -drive file=mcc-linux.hdd,media=disk,boot=on

You may also convert the image into a VirtualBox image with the following Linux command:

$ qemu-img convert -O vdi mcc-linux.hdd mcc-linux.vdi

Then, you can create a new Linux VM under VirtualBox using this for for its disk.

About the Properties to be Verified

May 9, 2012: properties are now available in the submission kit. All these properties could be used in the model checking contest, together with some new ones.

You can access to the information concerning properties to be evaluated during the evaluation procedure (the "-check" command):

Deadline

The deadline to submit your tool for the Model Checking Contest is May 20, 2012 (updated).