Skip to content
@overturetool

The Overture Project

Popular repositories Loading

  1. overture overture Public

    The Overture Tool

    Java 50 24

  2. vdm-vscode vdm-vscode Public

    Visual Studio Code extension for VDM language support

    TeX 21 6

  3. vdm2c vdm2c Public

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

    C 8

  4. overture-fmu overture-fmu Public

    Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

    Java 5 3

  5. documentation documentation Public

    Documentation and examples

    4 4

  6. overturetool.github.io overturetool.github.io Public

    The Overture Tool Website

    JavaScript 3 6

Repositories

Showing 10 of 24 repositories
  • overturetool.github.io Public

    The Overture Tool Website

    JavaScript 3 6 7 0 Updated Feb 19, 2025
  • vdm-vscode Public

    Visual Studio Code extension for VDM language support

    TeX 21 GPL-3.0 6 36 0 Updated Dec 12, 2024
  • documentation Public

    Documentation and examples

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

    The Overture Tool

    Java 50 GPL-3.0 24 64 24 Updated Oct 3, 2024
  • overture-fmu Public

    Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

    Java 5 GPL-3.0 3 16 4 Updated Oct 3, 2024
  • shm-fmi Public

    Shared Memory bridge for FMI

    C 3 GPL-3.0 0 2 3 Updated Oct 3, 2024
  • vdm2c Public

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

    C 8 0 7 2 Updated Oct 13, 2020
  • externaltests Public

    External tests for the Overture tool

    0 0 0 0 Updated Oct 4, 2020
  • overture-release-scripts Public

    Scripts used for releasing Overture

    Shell 1 2 0 0 Updated Nov 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, 2017
View all repositories