Model Checking Contest Analysis

Select a year to view the analysis:

• MCC 2018 Analysis
• MCC 2019 Analysis
• MCC 2020 Analysis
• MCC 2021 Analysis
• MCC 2022 Analysis
• MCC 2023 Analysis
• MCC 2024 Analysis
Dynamic Pluriannual plots
Analysis of the Models of MCC
Model Hardness: Dynamic Pluriannual plots
Model Hardness: Static plots
Analysis of Invariants vs Counter-examples (Formulas)
Analysis of Invariants vs Counter-examples (Tools)
Analysis of Invariants vs Counter-examples (Tools + Hard)