• Introduction
• Features
• Screenshots
• Download
• Documentation
• About

2.0.1:

• Several bugfixes introduced in 2.0.0, one of them related to boundedness checking problem in the TAPAAL engine. Highly recommended update for all TAPAAL users.

2.0.0:

• 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, ...)

1.4.3:

• Fixes bugs (#769875, #769881, #781502)

1.4.2:

• Fixes bugs with boundness checking (#737485, #750190)

1.4.1:

• Bug fix release, fixes a number of bugs introduced in the 1.4 release

1.4:

• New feature: timed inhibitor arcs
• Completely new query creation dialog
• New features: option to model and verify untimed Petri nets (mainly for educational purposes)
• Several visual improvements
• Bug fixes
• Deals with the new licensing policy of UPPAAL

1.3:

• New features: parameterized nets, better GUI for query and constant editting, optimization of the number of extra tokens in case the net is bounded, automatic update notification, export to tikz.
• A new example of a web-server.
• A number of bux fixes.

1.2:

• Included demo net
• Multiple bugfixes

1.1:

• Boundedness checking
• Visualization of untimed traces for the verification of liveness properties.

1.0:

• Added query to sidebar
• Restructured simulation to sidebar
• Multiple bugfixes

0.8 beta:

• First Public Release
• Graphical Query Designer