AutoJML

A JML generator. Generates JML specifications based on other specification formalisms.

GNU General Public License version 2.0 (GPLv2)

User Reviews

Be the first to post a review of AutoJML!

Science/Research, Developers

Command-line

2006-11-22

Similar Business Software

Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Sourcegraph Cody

Cody is an AI coding assistant that uses search and codebase context to help you write code faster. Cody brings autocomplete, chat, and commands to your IDE, so you can generate code, write unit tests, create docs, and explain complex code using AI. Choose from the latest LLMs, including GPT-4o...

See Software
Codeium

Codeium is a free AI powered code acceleration toolkit. Currently, Codeium provides AI generated autocomplete in over 70 programming languages (including Python, JS, TS, Java, Go, C/C++, etc) and 40+ IDEs (VSCode, JetBrains, Jupyter notebooks, Colab, Vim / Neovim, etc). With rapid multiline...

See Software