GitHub topics: vdmrt
overturetool/overture
The Overture Tool
Language: Java - Size: 210 MB - Last synced at: 27 days ago - Pushed at: 7 months ago - Stars: 50 - Forks: 24

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.
Language: Gnuplot - Size: 3.99 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

overturetool/externaltests
External tests for the Overture tool
Size: 832 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
