We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL defended the gold medal in the CTL category and more over took back two additional gold medals in the LTL category as well as the most prestigius reachability category. Moreover, we also won two silver medals in upper-bounds and in global properties. We thank to all developers who contributed to the success of our tool at this year competition. The detailed results can be found here: https://mcc.lip6.fr/results.php.
TAPAAL gets back 3 gold medals at MCC'24
News
2024-08-06 - TAPAAL gets back 3 gold medals at MCC'24
2023-05-10 - TAPAAL wins a gold medal at MCC'23
2023-02-24 - TAPAAL 3.9.5
2023-01-24 - TAPAAL 3.9.4
More news
TAPAAL (Aalborg University)
(c) 2008-2022
(c) 2008-2022