We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won two gold medals in global properties and CTL model checking, one silver medal in upper-bounds and bronz medal in reachability. The detailed results can be found here: https://mcc.lip6.fr/results.php or in the press release https://www.cs.aau.dk/news-and-events/show/aau-tool-remains-among-the-best-model-checking-tools-in-the-world.cid474672.

CTL Gold Global Properties Gold Upper Bounds Silver Reachability bronze