TAPAAL 2.1.2 Released2012-09-30 - (1 min read)
TAPAAL 2.1.2 is a maintenance release fixing a few smaller bugs in the GUI as well as the interpretation of the verification answers for EG and AF queries. A recommended update for all TAPAAL users.
2012-07-22 - (1 min read)
TAPAAL 2.1.1 is a maintenance release fixing several bugs and
improving the speed of loading large models and moving/sorting in the component list, introducing a new update notification dialog, fixing a rare memory leak in the TAPAAL engine verifytapn, possibility to change the values of constants using the arrows left/right, user preferences are now relative to the version of TAPAAL, tool tips can be disabled, query dialog allows to create any query and suggests automatically the most suitable verification engine, and it is now possible to move in the error trace using the arrows up/down while the arrows left/right change the currently displayed component.
... (Read more)
2012-03-17 - (1 min read)
TAPAAL 2.1.0 is a major release with several new features and GUI improvements. The main updates include:
A new version of TAPAAL engine that allows to use discrete inclusion technique even for queries that are now upward closed. Numerous GUI improvements including a fully resizable panels, possibility for different workspace configurations for showing/hiding the interval [0,inf), and more. During the verification process there is now displayed a timer. Simulator now displays a clickable list of enabled transitions in all active components.
... (Read more)
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)
TAPAAL (Aalborg University)
(c) 2008-2022