TAPAAL 3.4 series

New verifypn engine, new verifydtapn engine, partial order reduction in GUI

Series information

Project drivers:
Jiri Srba
Release manager:
Current Stable Release
Project development focus:
is not the focus of development.
Release URL pattern:

Download RDF metadata

Code for this series

The following branch has been registered as the mainline branch for this release series:

964 revisions.

You can get a copy of the development focus branch using the command:
bzr branch lp:tapaal/3.4

Browse the code

Milestones and releases

15 of 5 results
Version Expected Released Summary
TAPAAL 3.4.4 None not yet released bug fixes to 3.4 series
TAPAAL 3.4.3 None 2018-06-29 bug fixes to 3.4 series
TAPAAL 3.4.2 None 2018-05-14
TAPAAL 3.4.1 None 2018-05-03 bug fixes to 3.4 series
TAPAAL 3.4.0 None 2018-01-24 Initial release
15 of 5 results

All packages Distribution packaging

This series is not packaged in any distribution series.

This series contains Public information
Everyone can see this information.


3.4 does not have any download files.