xjml online with Winfy

We have hosted the application xjml in order to run this application in our online workstations with Wine or directly.

Quick description about xjml:

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).

Audience: Science/Research, Education, Advanced End Users, System Administrators, Developers, Testers.
User interface: Console/Terminal, Command-line, Eclipse.
Programming Language: Java.

.