Registered by Jiri Srba

Development has moved to github:

We no longer accepts merge request on launchpad. Please create a pull request on


Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also
for nets with weighted arcs but only with closed intervals. For more information see

Project information

Jiri Srba
Simplified BSD Licence

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

Get Involved


VerifyDTAPN does not have any download files registered with Launchpad.


  • Release of 2.1.1 on 2017-10-05
    We release today a new version, small changes so that we can produce 64 bit w...
  • Release of 2.1.0 on 2013-09-10
    We are happy to announce the release of our verifydtapn engine that now inclu...
  • Release of 2.0.0 on 2013-04-30
    We are happy to announce the release 2.0.0 of the verifydtapn engine with tim...
  • Release of verifydtapn 1.0.0 on 2012-10-22
    We are happy to announce the first release of our discrete verification engin...