TAPAAL

Download project files

How do I verify a download?


1 → 10 of 12 releases First • Previous • • Last

2.1.0 release from the 2.1 series released

Release information
Release notes:

TAPAAL Team Announces Release of TAPAAL 2.1.0
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.
- New engine selection dialog provides an overview of the configured engines and the settings are remembered in preferences.
- Improved batch processing dialog with a better layout and the possibi...

File Description Downloads
download icon tapaal-src-2.1.0.tar.gz (md5) tapaal-src-2.1.0 35
last downloaded 43 weeks ago
Total downloads: 35

2.0.2 release from the 2.0 series released

Release information
Release notes:

TAPAAL 2.0.2 is a maintanance release, it improves the layout
of the query dialog and adds a new example of train level crossing
(available from File/Example nets). The upgrade is recommended
to all TAPAAL users.

File Description Downloads
download icon tapaal-2.0.2.tar.gz (md5) tapaal-2.0.2-src 71
last downloaded 43 weeks ago
Total downloads: 71

2.0.1 release from the 2.0 series released

File Description Downloads
download icon tapaal-2.0.1.tar.gz (md5, sig) release tarball 32
last downloaded 43 weeks ago
Total downloads: 32

2.0.0 release from the 2.0 series released

Release information
Release notes:

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.

Changelog:

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

File Description Downloads
download icon tapaal-2.0.0.tar.gz (md5) tapaal-2.0.0 34
last downloaded 43 weeks ago
Total downloads: 34

1.4.3 release from the 1.4 series released

Release information
Release notes:

Bugfix relase

File Description Downloads
download icon tapaal-src-1.4.3.tar.gz (md5) tapaal-src-1.4.3 22
last downloaded 43 weeks ago
download icon tapaal-1.4.3.zip (md5) tapaal-1.4.3 22
last downloaded 43 weeks ago
Total downloads: 44

1.4.2 release from the 1.4 series released

Release information
Release notes:

Bug fixes release for problems with boundnes checking

File Description Downloads
download icon tapaal-1.4.2.zip (md5) tapaal-1.4.2 22
last downloaded 43 weeks ago
download icon tapaal-src-1.4.2.tar.gz (md5) tapaal-src-1.4.2.tar.gz 35
last downloaded 43 weeks ago
Total downloads: 57

1.4.1 release from the 1.4 series released

Release information
Release notes:

This is a bug fix release, fixing a number of problems introduced in the 1.4 release.

File Description Downloads
download icon tapaal-1.4.1.zip (md5) tapaal-1.4.1 19
last downloaded 44 weeks ago
download icon tapaal-src-1.4.1.tar.gz (md5) tapaal-src-1.4.1 28
last downloaded 43 weeks ago
Total downloads: 47

1.4.0 release from the 1.4 series released

Release information
Release notes:

This release includes the following improvements

- A new and more flexible query dialog, that allows the user to manually enter the query.
- Support for untimed Petri Nets
- Support for inhibitor arcs in both Timed-Arc Petri Nets and Petri Nets
- Visual Improvements
- Several bug fixes

File Description Downloads
download icon tapaal-1.4.zip (md5) tapaal-1.4 (windows/mac/linux) 22
last downloaded 43 weeks ago
Total downloads: 22

1.3 release from the 1.3 series released

Release information
Release notes:

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

We are also glad that our development team has grown up with three new members Lasse Jacobsen, Morten Jacobsen and Mikael H. Møller.

Changelog:

    * 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

File Description Downloads
download icon tapaal-src-1.3.tar.gz (md5) tapaal-src-1.3 24
last downloaded 43 weeks ago
download icon tapaal-1.3.zip (md5) tapaal-1.3 22
last downloaded 43 weeks ago
Total downloads: 46

1.2 release from the old-series series released

Release information
Changelog:

A number of bugs has been corrected

File Description Downloads
download icon tapaal-1.2.zip (md5) tapaal-1.2 19
last downloaded 43 weeks ago
download icon tapaal-1.2-source.tar.gz (md5) tapaal-1.2 source 18
last downloaded 43 weeks ago
download icon README.txt (md5) README 19
last downloaded 38 weeks ago
Total downloads: 56

1 → 10 of 12 releases First • Previous • • Last