We are very glad to announce that TAPAAL won a gold medal both in the reachability and CTL model checking category and a silver medal in upper bounds category at Model Checking Contest 2018 in Bratislava. More details can be found here https://mcc.lip6.fr/results.php.