overturetool/overture
The Overture Tool
Provides formal specification and modeling capabilities through a Java-based core library with an Eclipse IDE frontend, enabling type-checking, debugging, and execution of VDM (Vienna Development Method) specifications. The modular architecture separates pure Java libraries from Eclipse-dependent IDE components, distributed via Maven Central. Integrates with standard development workflows through Eclipse while supporting command-line usage of core specification tools.
Stars
50
Forks
24
Language
Java
License
GPL-3.0
Category
Last pushed
Nov 26, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/overturetool/overture"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made...
phax/jcodemodel
A heavily extended fork of the com.sun.codemodel (from 2013/09)
avaje/avaje-http
Controller generation for Javalin, Helidon SE.
activej/activej
ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web...
x-hansong/CodeMaker
A idea-plugin for Java/Scala, support custom code template.