Projects in Awesome Lists tagged with vdmrt

A curated list of projects in awesome lists tagged with vdmrt .

• Sort

  • Recently synced
  • Stars

https://github.com/overturetool/overture

The Overture Tool

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

Last synced: 05 Sep 2025

https://github.com/overturetool/externaltests

External tests for the Overture tool

overture testing vdm vdm-sl vdmpp vdmrt

Last synced: 06 Feb 2026