The Overture Tool
-
Updated
Oct 3, 2024 - Java
#
vdmpp
Here are 16 public repositories matching this topic...
Work done for MFES course @ MIEIC, FEUP. Done with @diogotorres97 and @antonioalmeida
-
Updated
Apr 16, 2020 - Java
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.
-
Updated
Jun 27, 2020 - Gnuplot
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
-
Updated
Jan 10, 2019 - Java
Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde
-
Updated
Jan 10, 2019 - Java
-
Updated
Dec 15, 2015 - Java
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
-
Updated
Jan 13, 2019 - Java
Formal specification for student class written in VDM++
-
Updated
Dec 21, 2017
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
-
Updated
Jan 10, 2019 - TeX
Smart linting and syntax highlighting(rough) for VDM++ in VSCode.
-
Updated
Jan 20, 2021 - TypeScript
Improve this page
Add a description, image, and links to the vdmpp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vdmpp topic, visit your repo's landing page and select "manage topics."