News

TAPAAL 2.1.0 Released

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)

---

TAPAAL 2.0.2 Released

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)

---

TAPAAL 2.0.1 Released

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.

---

TAPAAL 2.0.0 Released

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)

---

TAPAAL 1.4.3 Released

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

---

TAPAAL 1.4.2 Released

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

---

TAPAAL 1.4.1 Released

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

---

TAPAAL 1.4

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 1.3

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

---

TAPAAL 1.2

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.

---

• <
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• >