Project Description RSS Review this project

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:

1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

(This Description is auto-translated) Try to translate to Japanese Show Original Description

Download

windows Windows XJML1.0.zip (Date: 2012-01-03, Size: 16.7 MB)
mac Mac XJML1.0.zip (Date: 2012-01-03, Size: 16.7 MB)
linux Linux XJML1.0.zip (Date: 2012-01-03, Size: 16.7 MB)
bsd BSD XJML1.0.zip (Date: 2012-01-03, Size: 16.7 MB)
solaris Solaris XJML1.0.zip (Date: 2012-01-03, Size: 16.7 MB)

Review
Your rating
Review this project