The Overture Tool
-
Updated
Oct 3, 2024 - Java
#
vdm-sl
Here are 12 public repositories matching this topic...
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
-
Updated
Sep 11, 2024 - Smalltalk
ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)
java
angular
graphics-engine
spring-boot
swing
frontend
backend
game-engine
graphics
javafx
game-development
native-apps
graphics-programming
software-engineering
formal-methods
android-studio
database-schema
mobile-development
database-systems
vdm-sl
-
Updated
Jun 5, 2022 - Java
VDM-SL execution library using public/private VDMPad servers.
-
Updated
Jun 9, 2015 - Python
This was an Undergraduate project where I worked with VDM-SL in Overture to complete a software modelling task.
-
Updated
Dec 12, 2021
JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
a collection of benchmarks for VDM-SL interpreters/code generators
-
Updated
Jun 12, 2020
A little combinatory parser in VDM-SL
-
Updated
Jun 12, 2020
a simple virtual machine for VDM by VDM
-
Updated
Jul 21, 2020 - C
Specifications of bottom-up parsers in VDM-SL
-
Updated
Sep 23, 2024
Improve this page
Add a description, image, and links to the vdm-sl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vdm-sl topic, visit your repo's landing page and select "manage topics."