Repositories list

• vdm-vscode

  Public
  Visual Studio Code extension for VDM language support

  visual-studiolanguage-servervdm-vscode+ 1

  visual-studiolanguage-servervdm-vscodevdm-support

  TeX

  •

  GNU General Public License v3.0

  •8•20•38•0•Updated Mar 4, 2026Mar 4, 2026

• overturetool.github.io

  Public
  The Overture Tool Website

  JavaScript

  •5•4•7•0•Updated Mar 3, 2026Mar 3, 2026

• overture

  Public
  The Overture Tool

  javaeclipseide+ 7

  javaeclipseidevdmformal-methodscode-generationvdm-slvdmppvdmrtoverture

  Java

  •

  GNU General Public License v3.0

  •24•50•64•24•Updated Nov 26, 2025Nov 26, 2025

• documentation

  Public
  Documentation and examples

  4•4•4•1•Updated Dec 8, 2024Dec 8, 2024

• overture-fmu

  Public

  overturetool/overture-fmu’s past year of commit activity
  Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

  Java

  •

  GNU General Public License v3.0

  •3•5•16•4•Updated Oct 3, 2024Oct 3, 2024

• shm-fmi

  Public
  Shared Memory bridge for FMI

  C

  •

  GNU General Public License v3.0

  •1•5•2•3•Updated Oct 3, 2024Oct 3, 2024

• vdm2c

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

  ccode-generatorvdm

  ccode-generatorvdm

  C

  •0•8•7•2•Updated Oct 13, 2020Oct 13, 2020

• externaltests

  Public
  External tests for the Overture tool

  testingvdmvdm-sl+ 3

  testingvdmvdm-slvdmppvdmrtoverture

  0•0•0•0•Updated Oct 4, 2020Oct 4, 2020

• overture-release-scripts

  Public
  Scripts used for releasing Overture

  Shell

  •2•1•0•0•Updated Nov 30, 2018Nov 30, 2018

• intocps-tracability-driver

  Public
  Prototype of a traceability driver for overture git and INTO-CPS

  Java

  •0•0•0•0•Updated Dec 4, 2017Dec 4, 2017

• astcreator

  Public
  The Overture AstCreator Tool

  Java

  •1•2•6•0•Updated Dec 4, 2017Dec 4, 2017

• testfmus

  Public
  Place to store Overture models and FMUs for testing against the FMI standard

  Shell

  •0•1•0•0•Updated Aug 10, 2017Aug 10, 2017

• language

  Public
  Overture Language Board issue tracking

  0•2•6•0•Updated Apr 18, 2017Apr 18, 2017

• overture-graphics-plugin

  Public
  Live plotting for Overture using listeners

  Java

  •0•0•1•0•Updated Oct 4, 2016Oct 4, 2016

• web-ide-backend

  Public
  Java

  •

  Other

  •1•1•0•0•Updated Aug 8, 2016Aug 8, 2016

• web-ide-frontend

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Aug 3, 2016Aug 3, 2016

• tempo-ui

  Public
  UI bindings for Overture models with DukeScript

  Java

  •0•0•0•0•Updated Feb 7, 2016Feb 7, 2016

• guibuilder

  Public
  Automated GUI constructions from VDM models

  Java

  •0•0•0•0•Updated Feb 5, 2016Feb 5, 2016

• prob-interpreter-integration

  Public
  Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker

  Java

  •0•0•0•0•Updated Jan 18, 2016Jan 18, 2016

• example-packager

  Public
  The Overture VDM Example Packager

  Java

  •2•0•0•0•Updated Nov 10, 2015Nov 10, 2015

• vdm2alloy

  Public
  A VDM to Alloy translator of simple implicit VDM-SL models

  Java

  •

  GNU General Public License v3.0

  •2•0•0•0•Updated Mar 10, 2015Mar 10, 2015

• dev-tutorials

  Public
  Java

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Nov 14, 2014Nov 14, 2014

• vdmtools

  Public
  Java

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

• cold-storage

  Public
  Archival repository for Overture projects that are quiescent

  TeX

  •0•0•0•0•Updated Aug 19, 2014Aug 19, 2014