XJML download | SourceForge.net

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)

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow XJML

XJML Web Site

Other Useful Business Software

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Rate This Project

User Reviews

Be the first to post a review of XJML!

Additional Project Details

Intended Audience

Advanced End Users, Developers, Education, Science/Research, System Administrators, Testers

User Interface

Command-line, Console/Terminal, Eclipse

Programming Language

Java

Related Categories

Java UML Tool, Java Software Testing Tool, Java Source Code Analysis Tool

Registered

2011-12-31

Similar Business Software

Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
MarathonITE

MarathonITE makes it easy to create GUI tests. You can quickly automate your functional tests and regression tests. MarathonITE has an open and flexible architecture based on open source projects like Marathon, Ruby and Selenium. MarathonITE makes creating, maintaining and executing automated...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
XMLBlueprint

XMLBlueprint is the smart XML Editor for Windows with full support for DTD, Relax NG, Schematron, XSD, XSLT (1.0, 2.0, 3.0) and XPath (1.0, 2.0, 3.1). Its unique combination of just the right features and an affordable price for both professionals as well as home users makes it the smart choice...

See Software
OWASP WSFuzzer

Fuzz testing or fuzzing is a software testing technique, that basically consists in finding implementation bugs using malformed/semi-malformed data injection in an automated fashion. Let’s consider an integer in a program, which stores the result of a user’s choice between 3 questions. When the...

See Software