overturetool/overture
The Overture Tool
The Overture Tool helps formal methods practitioners design, validate, and verify complex software and system models. It takes VDM (Vienna Development Method) specifications as input, allowing you to create detailed system models and analyze their behavior. The output is a robust, formally verified system design. This tool is ideal for engineers and researchers working with formal methods for critical systems.
Use this if you need to formally specify and verify the behavior of critical software or hardware systems using the VDM notation.
Not ideal if you are looking for a general-purpose programming IDE or a tool for informal system design.
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.
x-hansong/CodeMaker
A idea-plugin for Java/Scala, support custom code template.
activej/activej
ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web...