changes.mady.by.user Tim Halloran
Saved on Feb 04, 2010
...
The JSure verification tool provides a strong assurance that the annotated model holds for all possible executions of the program. If the below code noncompliant code is later added to the class,
