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.
2020-03-18 - (1 min read)
We are happy to announce the release of TAPAAL 3.6.1 that contains numerous bug fixes and improvements, in particular:
highlighted constants in editor now blink save and load paths are not remembered separately fixed integration with UPPAAL verifyta engine loading of large nets is now twice as fast on linux you can start tapaal with a net as argument, on mac the icon is now dropable.
2019-10-21 - (1 min read)
We are happy to announce the release of TAPAAL 3.6.0.
TAPAAL 3.6.0 is a new release that introduces:
Automatic layout generator for a net (available in Tools) Alignment of a net to the current grid size (available in View) Numerous bug fixes
2019-04-23 - (1 min read)
We are glad to announce the release of TAPAAL 3.5.1.
TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in the 3.5.0 release and it also fixes trace generation issue in the untimed verifypn engine.
2019-04-08 - (1 min read)
We 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
2019-03-18 - (1 min read)
We are glad to announce a new version of TAPAAL 3.5.0 with the following updates.
Intervals on arcs can now be moved and placed arbitrarily TAPAAL model files now end with .tapn Removal of multiple places at the same time Soundness check in batch processing Easier sharing of places/transitions accross components Improved export to tikz GUI refactoring and numerous bug fixes This is a recommend update for all TAPAAL users.
... (Read more)
2018-11-27 - (1 min read)
This year, we participated for the first time in CTL model checking competition RERS and we are happy to announce that we solved all problems proposed by the competition and rank as the most successful tool in this category (though there were no medals in this category as it was an experimental run this year). More details are available (here)[http://rers-challenge.org/2018/index.php?page=results].
TAPAAL