Xjml freeware
Xjml
Released: October 18, 2012
|
Added: October 18, 2012 | Visits: 375
XJML is a simple, accessible and useful tool that can actually read one Java class and its contract (written in XML) and then execute the a verification technique.
The following verification technique is executed:
· Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
· Extended...
Platforms: Windows
License: Freeware | Download (51): XJML Download |