TAPAAL 1.42011-01-09 - (1 min read)
We are happy to announce a new release of TAPAAL 1.4 that adds new features like
timed inhibitor arcs, completely new query creation dialog, option to model and verify untimed Petri nets (mainly for educational purposes), several visual improvements, bug fixes and it deals with the new licensing policy of UPPAAL. The release also contains an improved example of Alternating Bit Protocol that shows the power of transport arcs that allow to time-stamp tokens travelling in the net.
... (Read more)
2009-11-06 - (1 min read)
We are happy to announce a new release of TAPAAL 1.3.
This release fixes a number of bugs and brings several new features like:
parametrized net templates with constants optimization of the number of extra tokens in case the net is bounded export of nets directly to tikz improved layout of the list of queries automatic update notifier
2009-08-05 - (1 min read)
A new release of TAPAAL 1.2 is now available at the download page.
This release fixes a number of bugs discovered since the last release and it includes now several demo nets that are accessible directly from the file menu under example nets.
2009-04-21 - (1 min read)
A new release of TAPAAL 1.1 is now available at the download page.
This release fixes a number of bugs and introduces two new features:
boundedness checking and visualization of untimed traces for the verification of liveness properties. Finally, a few demo examples are now included in the distribution. In particular, new users might want to open and experiment with the self-explanatory example intro-example.xml.
TAPAAL (Aalborg University)