Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/overturetool/overture

The Overture Tool
https://github.com/overturetool/overture

code-generation eclipse formal-methods ide java overture vdm vdm-sl vdmpp vdmrt

Last synced: 22 days ago
JSON representation

The Overture Tool

Awesome Lists containing this project

README

        

# The Overture Tool
[![Build Status](https://build.overture.au.dk/jenkins/buildStatus/icon?job=overture-development)](https://build.overture.au.dk/jenkins/job/overture-development/)
[![License](http://img.shields.io/:license-gpl3-blue.svg?style=flat-square)](http://www.gnu.org/licenses/gpl-3.0.html)
[![Maven Central](https://img.shields.io/maven-central/v/org.overturetool/core.svg?label=Maven%20Central)](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.overturetool.core%22)

## 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](https://github.com/overturetool/overture/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`

## Release

The release procedure is described [here](https://github.com/overturetool/overture/wiki/New-Release-Procedure).