verifypn u2.1 series

New series adding CTL model checking and supported by GUI.

Series information

Project:
verifypn
Series:
u2.1
Project drivers:
VerifyPN Maintainers
Release manager:
None
Status:
Active Development
Project development focus:
is not the focus of development.
Release URL pattern:
None

Download RDF metadata

Code for this series

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

187 revisions.

You can get a copy of the development focus branch using the command:
bzr branch lp:verifypn/u2.1

Browse the code

Milestones and releases

12 of 2 results
Version Expected Released Summary
verifypn u2.1.0 None 2017-10-05 initial release for series 2.1
verifypn u.2.1.1 None not yet released bug fixes to series u2.1
12 of 2 results

All bugs Latest bugs reported

All packages Distribution packaging

This series is not packaged in any distribution series.

This series contains Public information
Everyone can see this information.

Downloads

u2.1 does not have any download files.

Get Involved