🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
-
Updated
Jan 13, 2019 - Java
#
vdm
Here are 44 public repositories matching this topic...
The Joomla Bible Package https://getbible.net/
-
Updated
Apr 6, 2024
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
-
Updated
Jan 10, 2019 - Java
AUR package for overture tool from http://overturetool.org
-
Updated
Jan 27, 2020 - Shell
Formal specification for student class written in VDM++
-
Updated
Dec 21, 2017
Mirror of https://git.vdm.dev/christian/mod_dailyscripture Joomla Module to display daily scripture
-
Updated
Nov 9, 2023 - PHP
Demo for Reentrant Application Framework
-
Updated
Mar 25, 2024 - Python
A little combinatory parser in VDM-SL
-
Updated
Jun 12, 2020
a simple virtual machine for VDM by VDM
-
Updated
Jul 21, 2020 - C
Mirror of https://git.vdm.dev/getBible/daily-light-module Joomla Module to display daily scripture
-
Updated
Apr 6, 2024 - PHP
a collection of benchmarks for VDM-SL interpreters/code generators
-
Updated
Jun 12, 2020
Mirror of https://git.vdm.dev/getBible/daily-scripture-module Joomla Module to display daily scripture
-
Updated
Apr 6, 2024 - PHP
JSON parser/printer for VDM-SL
-
Updated
Dec 25, 2013
Mirror of https://git.vdm.dev/getBible/loader-plugin Joomla Plugin to display scripture in content.
-
Updated
Apr 6, 2024 - PHP
The Bible for Joomla https://getbible.net/
-
Updated
Apr 6, 2024 - PHP
CS™(Control System) PWA(Progressive Web App)
-
Updated
Jan 24, 2018 - Vue
The Data Modelling Tools - i.e. more than a dozen code generators - that are used in the TASTE toolchain
-
Updated
Dec 27, 2017 - Python
Improve this page
Add a description, image, and links to the vdm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the vdm topic, visit your repo's landing page and select "manage topics."