#

vdm-sl

Here are 3 public repositories matching this topic...

michailmarkou1995 / Java

ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)

Updated Jun 5, 2022
Java

csb6 / vdm2cpp

VDM-SL to C++ translator plugin

vdm vdm-sl

Updated Jan 4, 2025
Java

overturetool / overture

The Overture Tool

java eclipse ide vdm formal-methods code-generation vdm-sl vdmpp vdmrt overture

Updated Nov 26, 2025
Java

Improve this page

Add a description, image, and links to the vdm-sl topic page so that developers can more easily learn about it.

Curate this topic

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