The Overture Project

Repositories

• overture-fmu

  Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
  Java GPL-3.0 2 4 14 0 Updated May 26, 2020

• overture

  The Overture Tool

  java eclipse ide vdm formal-methods code-generation vdm-sl
  Java GPL-3.0 24 41 58 2 Updated May 26, 2020

• shm-fmi

  Shared Memory bridge for FMI
  C GPL-3.0 0 3 2 0 Updated May 26, 2020

• documentation

  Documentation and examples
  4 3 4 0 Updated May 25, 2020

• overturetool.github.io

  The Overture Tool Website
  JavaScript 6 1 8 0 Updated May 18, 2020

• externaltests

  External tests for the Overture tool

  testing vdm vdm-sl vdmpp vdmrt overture
  0 0 0 0 Updated Feb 12, 2020

• vdm2c

  Working repository for the development of a VDM to C code generator

  c code-generator vdm
  C 0 4 6 0 Updated Sep 10, 2019

• overture-release-scripts

  Scripts used for releasing Overture
  Shell 2 1 0 0 Updated Nov 30, 2018

• intocps-tracability-driver

  Prototype of a traceability driver for overture git and INTO-CPS
  Java 0 0 0 0 Updated Dec 4, 2017

• astcreator

  The Overture AstCreator Tool
  Java 1 1 6 0 Updated Dec 4, 2017

• testfmus

  Place to store Overture models and FMUs for testing against the FMI standard
  Shell 0 1 0 0 Updated Aug 10, 2017

• language

  Overture Language Board issue tracking
  0 1 5 0 Updated Apr 18, 2017

• overture-graphics-plugin

  Live plotting for Overture using listeners
  Java 0 0 1 0 Updated Oct 4, 2016

• web-ide-backend
  Java 0 0 0 0 Updated Aug 8, 2016

• web-ide-frontend
  TypeScript GPL-3.0 0 2 0 0 Updated Aug 3, 2016

• tempo-ui

  UI bindings for Overture models with DukeScript
  Java 0 0 0 0 Updated Feb 7, 2016

• guibuilder

  Automated GUI constructions from VDM models
  Java 0 0 0 0 Updated Feb 5, 2016

• prob-interpreter-integration

  Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker
  Java 0 0 0 0 Updated Jan 18, 2016

• example-packager

  The Overture VDM Example Packager
  Java 0 0 0 0 Updated Nov 10, 2015

• vdm2alloy

  Forked from lausdahl/vdm2alloy

  A VDM to Alloy translator of simple implicit VDM-SL models
  Java GPL-3.0 2 0 0 0 Updated Mar 10, 2015

• dev-tutorials
  Java GPL-2.0 0 0 0 0 Updated Nov 14, 2014

• vdmtools
  Java 0 0 1 0 Updated Aug 21, 2014

• cold-storage

  Archival repository for Overture projects that are quiescent
  TeX 0 0 0 0 Updated Aug 19, 2014