vdmrt
There are 3 repositories under vdmrt topic.
overturetool/overture
The Overture Tool
jaesparza/MScThesis
My M.Sc. thesis: "A VMD-RT Methodology for the Hw/Sw Co-Design of Embedded Systems". The repository hosts VDM++, VDM-RT and UML models as well as the full thesis.
overturetool/externaltests
External tests for the Overture tool