-
Committer:
launchpad-janitor
-
Author(s):
Mathias Grund Sørensen, Peter Gjoel Jensen, Jiri Srba, Peter Gjøl Jensen
-
Date:
2014-06-11 15:30:49 UTC
-
mfrom:
(856.3.14 StrongWorkflowNoNetModification)
-
Revision ID:
tapaal@cs.aau.dk-20140611153049-uqo9ccty75oaj0zu
Implement new way for detecting strong soundness without modifying the net (all work apart from sending
the max bound is done in the engine now). by TAPAAL Contributors review by Jiri Srba approved by Mathias Grund Sørensen, Jiri Srba