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.
2021-07-06 - (1 min read)
We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won two gold medals in CTL and LTL model checking, two silver medals in upper-bounds and reachability and one bronz medal in global properties. We are particularly pround of the gold medal in the LTL model checking as this was the first time TAPAAL participated in this category.The detailed results can be found here: https://mcc.
... (Read more)
2021-04-06 - (1 min read)
We are happy to announce the release of TAPAAL 3.8.0 that contains
improved performance of untimed verifypn engine, the GUI can now show reduced net in the editor, and numberous bug fixes and smaller GUI improvements.
2020-11-01 - (1 min read)
We are happy to announce the release of TAPAAL 3.7.1 that contains larger refactoring and new features, in particular:
GUI and engine support for Petri net games (untimed and dicrete time), the possibility to explicitly edit timed/untimed and game/non-game nets, updated verifypn (untimed) engine, quick drawing of nets when holding ctrl while in arc-drawing mode, large refactoring and bug fixes in the GUI.
2020-06-30 - (1 min read)
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.