2011-10-14 - (1 min read)
We are announcing the release of the following TAPAAL updates:
TAPAAL 2.0.2 TAPAAL 2.0.2 is a maintenance release that fixes a number of bugs, one of them connected to slow verification in case of the presence of orphan transitions (no input and no output arcs) and it fixes some rare issues during the saving of a net. The release also improves the layout of the query dialog and several other dialogs and a new example of train level crossing has been added to File/Example net.
... (Read more)
2011-08-22 - (1 min read)
We are announcing the release of the following TAPAAL updates:
TAPAAL 2.0.1 TAPAAL 2.0.1 is a maintenance release with a number of bug fixes, one of them connected to a wrong boundedness checking result in some particular scenarios. This is a highly recommended update for all users of 2.0.0.
Note also that new TAPAAL exercises were added to the Documentation page.
2011-06-30 - (1 min read)
We are announcing the release of the following TAPAAL updates:
TAPAAL 2.0.0 TAPAAL 2.0 is a major release with many completely new features and in particular TAPAAL’s own verification engine that is now distributed together with TAPAAL.
The main new features are:
TAPAAL engine (both 32 and 64 bit version) with symmetry reduction, concrete trace generation, discrete inclusion, heuristic search Component-based design editor with shared places and transitions Flexible batch processing dialog Numerous GUI improvements (view/hide of panels, updated query editor, improved verification statistics, …) For details about the release, look on detailed changelog on launchpad.
... (Read more)
2011-06-16 - (1 min read)
The TAPAAL Core Team announces versions 1.4.3 of TAPAAL. We are announcing the release of the following TAPAAL updates:
TAPAAL 1.4.3 This is a maintenance release and contain only bugfixes. It fixes an number of bugs
For details about the release, look on detailed changelog on launchpad.
https://launchpad.net/tapaal/1.4/1.4.3
Download:
http://www.tapaal.net/download
2011-04-12 - (1 min read)
The TAPAAL Core Team announces versions 1.4.2 of TAPAAL. We are announcing the release of the following TAPAAL updates:
TAPAAL 1.4.2 This is a maintenance release and contain only bugfixes. It fixes an important bug concerning boundness checking.
For details about the release, look on detailed changelog on launchpad.
https://launchpad.net/tapaal/1.4/1.4.2
Download:
http://www.tapaal.net/download
2011-03-10 - (1 min read)
The TAPAAL Core Team announces versions 1.4.1 of TAPAAL. We are announcing the release of the following TAPAAL updates:
TAPAAL 1.4.1 This is a maintenance release and contain only bugfixes. It fixes bugs introduced in the 1.4 release.
For details about the release, look on detailed changelog on launchpad.
https://launchpad.net/tapaal/1.4/1.4.1
Download:
http://www.tapaal.net/?id=25
2011-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