Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Last Updated
Jun 22, 2022


The Model Checking Contest is organized by the following people.

General Chairs

Model Board

Formula Board

Execution Monitoring Board

Former members (hall of fame)

Tool Board

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