Upstream is June 5 👉 RSVP

org.overturetool.core:parser
Release 3.0.2

Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models. The Overture tools are written entirely in Java and build on top of the Eclipse platform. Overture supports the VDM-SL, VDM++, and VDM-RT language dialects.

Homepage Repository Maven Java Download

Keywords: code-generation, eclipse, formal-methods, ide, java, overture, vdm, vdm-sl, vdmpp, vdmrt
License: GPL-3.0

Documentation

The Overture Tool

General Information

If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.

Development

Before you download and try to use the code provided in this open-source repository, please browse through the development wiki first!

This directory contains several subdirectories:

The core Overture libraries are found in core, and are pure Java with no Eclipse dependencies
The Overture IDE, based on Eclipse, is found in ide
Technical Documentation for Overture is in documentation