TAPAAL 1.32009-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)