XJML 1.0

Helps you verify and validate Java classes
XJML is a handy tool that can be used to read a java class and execute multiple techniques.

XJML also allows you to verify as well as validate the contents of a Java class. The available techniques are:
· Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
· Extended Static Checking (ESC). Using ESC/Java2.
· Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71

last updated on:
December 1st, 2012, 20:14 GMT
file size:
17.1 MB
price:
FREE!
developed by:
EDario
license type:
GPL 
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Development \ Java

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!

Add your review!

SUBMIT