Introduction
This page is intended for tool developers willing to participate in the Model Checking Contest. It will display information and news to help you in the preparation of your tool for the Model Checking Contest.
The information is structured as a «blog roll». You can also discuss this information thanks to the forum set-up there (you must subscribe to this forum first). It also includes archives from 2017.
Resource Center
Please note that several additional documentation is available:
- The basic CTL formula generator developed by Loïg Jézéquel
- Presentation and description of the NUPN format
- Presentation and description of the Generic properties from the model forms
- Presentation and description of the Verdict for generic properties
Old Archives
Messages below are sorted in a reverse chronological order. You may also have a look at the information provided for the 2016 edition as most aspects will be maintained.