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.

Read all announcements