TAPAALWe are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won four gold medals in the categories: reachability, CTL model checking, deadlock analysis and computation of upper-bounds. The detailed results can be found here: https://mcc.lip6.fr/results.php
