Softpedia
 
HomepageWindowsGamesDriversMacLinuxScripts buttonMobileHandheldNews

MAC CATEGORIES:



GLOBAL PAGES >>
NEWS ARCHIVE >>
SOFTPEDIA REVIEWS >>
MEET THE EDITORS >>
WEEK'S BEST
  • Reason 7.0.1 Build 3510
  • Apple iTunes 11.0.3
  • CrossOver Mac 12.2.1 Bu...
  • Skype 6.4.60.833
  • Mozilla Firefox 21.0 / ...
  • Skitch 2.5.2 Build 262792
  • Apple iMovie 9.0.9
  • Tunnelblick 3.2.9 / 3.3...
  • Sublime Text 2.0.1 Buil...
  • Avidemux 2.6.4
    		•
    Home > Mac > Development > Java
    		  Report malware

    XJML 1.0
    Download button

    No screenshots available
    Downloads: 35  Tell us about an update
    User Rating:
    Rated by:    		 NOT RATED
    0 user(s)
    Developer:

    License / Price:

    Size / OS:

    Binary Format:

    Last Updated:

    Category:         		EDario | More programs
    GPL / FREE
    17.1 MB / Mac OS X
    -
    December 1st, 2012, 20:14 UTC
    Home / Development / Java

     Read user reviews (0)  Refer to a friend  Subscribe

    XJML description

    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

    Requirements:

    · Java

     


    TAGS:

    		 verify class | validate class | java class | verify | validate | class

    Go to top

    WindowsGamesDriversMacLinuxScriptsMobileHandheldNews

    SUBMIT PROGRAM   |   ADVERTISE   |   GET HELP   |   SEND US FEEDBACK   |   RSS FEEDS   |   UPDATE YOUR SOFTWARE   |   ROMANIAN FORUM
    © 2001 - 2013 Softpedia. All rights reserved.
    Softpedia® and the Softpedia® logo are
    registered trademarks of SoftNews NET SRL.    		 Copyright Information | Privacy Policy | Terms of Use