Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Last Updated
Apr 15, 2019


The Model Checking Contest is organized by the following people.

General Chairs

Model Board

Formula Board

Execution Monitoring Board

Tool Board

The too board is composed of the developers who submitted a tool in 2018. They are invited to provide advice and feed-back until the rules for 2019 are adopted and the call for tool participation is launched.