XJML 1.0 is a platform for Verification and Validation of Java classes

Add a Review
1 Download (This Week)
Last Update:
Download XJML1.0.zip
Browse All Files
Windows Mac Linux


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)

XJML Web Site


Write a Review

User Reviews

Be the first to post a review of XJML!

Additional Project Details

Intended Audience

Advanced End Users, Developers, Education, Testers, Science/Research, System Administrators

User Interface

Command-line, Console/Terminal, Eclipse

Programming Language



Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.