Registered 2012-07-01 by Jiri Srba

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.

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 http://www.tapaal.net.

Project information

Maintainer:
verifydtapn-contributers
Driver:
Jiri Srba
Licence:
Simplified BSD Licence

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
C++

Get Involved

Downloads

VerifyDTAPN does not have any download files registered with Launchpad.

Announcements

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