| title | date | draft |
|---|---|---|
TAPAAL wins a gold medal at MCC'23 |
2023-05-10 08:52:00 +0100 |
false |
We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won a gold medal in the CTL model checking] category and was awareded four silver medals in the other categories (except for state-space exploration where we do not participate). The detailed results can be found here: https://mcc.lip6.fr/2023/results.php.