XJML 1.0

Helps you verify and validate Java classes

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
GPL 
FILE SIZE:
17.1 MB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
EDario
CATEGORY:
Home \ Development \ Java
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

Runs on: Mac OS X (-)

requirements

#verify class #validate class #java class #verify #verify #validate #validate

Add your review!

SUBMIT