SourceForge.JP -- Develop and Download Open Source Software

Project Description

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)

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)
Download File List

Review
Your rating
Review this project