Organization

The Model Checking Contest is organized by the following people.

General Chair

• F. Kordon - Sorbonne Université, France

Model Board

• Q. Nivon - Inria - LIG, France

Formula Board

• L. Jezequel - Univ. Nantes, France
• E. Paviot-Adet - Univ. Paris-Cité, France

Execution Monitoring Board

• F. Hulin-Hubard - CNRS and Sorbonne Université, France
• F. Kordon - Sorbonne Université, France

Former members (hall of fame)

• P. Bouvier - Kalray S.A, France (model board)
• D. Buchs - Univ. Geneva, Switzerland (general chair)
• L. Hillah - Univ. Paris Nanterre, France (model board)
• H. Garavel - Inria - LIG, France (model board)
• A. Linard - Inria/ENS de Cachan, France (formula board)
• C. Rodríguez - Univ. Paris 13, France (formula board)

Tool Board

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