vdmrt

There are 0 repository under vdmrt topic.

• overturetool / overture

  The Overture Tool

  vdmvdm-slvdmppvdmrtideformal-methodsovertureeclipsejavacode-generation
  Language:Java 49

• 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.

  vdmrtvdmpphardware-software-designmodellingembedded-systems
  Language:Gnuplot

• overturetool / externaltests

  External tests for the Overture tool

  vdmvdm-slvdmppvdmrttestingoverture