News and announcements

Release of 2.1.1

Written for VerifyDTAPN by Jiri Srba on 2017-10-05

We release today a new version, small changes so that we can produce 64 bit windows binaries.

Release of 2.1.0

Written for VerifyDTAPN by Jiri Srba on 2013-09-10

We are happy to announce the release of our verifydtapn engine that now includes a support for deadlock proposition,
urgent transitions and performance improvements.

Release of 2.0.0

Written for VerifyDTAPN by Jiri Srba on 2013-04-30

We are happy to announce the release 2.0.0 of the verifydtapn engine
with time-darts semi-symbolic data structure and PTrie memory optimization
techniques

Release of verifydtapn 1.0.0

Written for VerifyDTAPN by Jiri Srba on 2012-10-22

We are happy to announce the first release of our discrete verification engine for the model-checker TAPAAL.

14 of 4 results

Announcements