XJML v.1.0
Advertisement
Description
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)
- Rate:
- License:Freeware
- Category:Programming
- Developer:SourceForge.net
- Downloads:14
- Size:16.33 Mb
- Price: Free
To free download a trial version of XJML, click here
To visit developer homepage of XJML, click here
Advertisement
System Requirements
XJML requires Mac, Windows, Linux.
XJML v.1.0 Copyright
Shareware Junction periodically updates pricing and software information of XJML v.1.0 full version from the publisher using pad file and submit from users. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators, cd key, hacks is illegal and prevent future development of XJML v.1.0 Edition. Download links are directly from our publisher sites. Links XJML v.1.0 from Bittorrent, mediafire.com, uploadfiles.com, hotfiles.com rapidshare.com, megaupload.com, netload.in, storage.to, depositfiles.com and other files hosting are not allowed. The download file is obtained directly from the publisher, not from any Peer to Peer file sharing applications such as Shareaza, Limewire, Kazaa, Imesh, eDonkey, eMule, Ares, BearShare, Overnet, Morpheus, BitTorrent Azureus and WinMX.
Review This Software
Other products of this developer SourceForge.net
A Nounce ! v.0.2
A Newsletter mailinglist script, users can subsc... Newsletters / Messages sent out from the Admin.
AccessToMySQL v.1.0
Access To MySQL is a small utility to convert Microsoft Access Database files to MySQL database.
Adawat Arabic Text tools v.1.0
Arabic Text tools, like remove Harakats, AutoCorrect, Normalize, Insert Symbols, etc.
Aeonic - Model Driven Server Apps v.1.0
You specify a desired domain-logic in UML, optionally some parts in Python, from scratch or reused.
Alchim v.0.2.0.20091223
Alchim is a set of tools to help create and build project (mainly java and scala project).
Alex's Hg Scripts v.1.0
This script was designed to run on a PHP-enabled web server that hosts Mercurial (Hg) repositories.
ALTernative v.alpha1
Cross platform Space-based MMORPG: spaceship con...of structural elements with infinity modularity.
Ambit - chemical structures database v.2.2.4.5
AMBIT offers chemoinformatics functionality via REST web services and desktop applications.