2024-08-06 - (1 min read)
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.
... (Read more)
2023-05-10 - (1 min read)
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.
2023-02-24 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.5 that contains
a bug fix for zooming when changing tabs fixes issues with boundeness check and with running some of the example nets, and distributed an updated verifytapn (continuous time) verification engine.
2023-01-24 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.4 that contains
a bug fix for conclusive/inconclusive reporting verification answers for CTL and LTL model checking, and an updated untimed engine verifypn which fixes the reporting of verification statistics.
2022-10-24 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.3 that contains
numerous bug fixes including passing of inclusion places to the continuous engine, fixes to the query dialog, copying of elements with environmental transitions, remebering of the last open file location, trace generation for LTL queries. an updated untimed engine verifypn which fixes trace generation issues when structural reduction rules are applied.
2022-06-22 - (1 min read)
We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won three gold medals in CTL and LTL model checking and we regained the gold medal also in the reachability category this year. Moreover, we won two silver medals in upper-bounds and in global properties. The detailed results can be found here: https://mcc.lip6.fr/results.php.
2022-01-31 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.2 that contains
numerous bug fixes in transition highlighting, simulator and over/under-approximation.
2021-11-23 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.1 that contains
numerous bug fixes, improved export to tikz, rearranged example nets with a few new nets, and new versions of all three verification engines.
2021-10-18 - (1 min read)
We are happy to announce the release of TAPAAL 3.9.0 that contains
an updated GUI that now allows to ask LTL queries untimed verifypn engine supporting partial order reduction for LTL and heuristic search.
2021-10-04 - (1 min read)
We are happy to announce the release of TAPAAL 3.8.1 that contains
improved performance of untimed verifypn engine, and numberous bug fixes and smaller GUI improvements.
TAPAAL