vdm-sl

There are 0 repository under vdm-sl topic.

overturetool / overture
The Overture Tool
vdm vdm-sl vdmpp vdmrt ide formal-methods overture eclipse java code-generation
Language:Java 48
tomooda / ViennaTalk
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
pharo vdm-sl vdm smalltalk formal-methods formal-specification formal-models
Language:Smalltalk 14
michailmarkou1995 / Java
ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)
java graphics graphics-programming graphics-engine game-engine game-development backend frontend angular spring-boot native-apps javafx swing database-schema database-systems mobile-development software-engineering formal-methods android-studio vdm-sl
Language:Java 4
peterwvj / vdm-mode
Major mode for the Vienna Development Method
vdm vdm-sl vdmpp vdm-rt emacs elisp
Language:Emacs Lisp 4
tomooda / pyVDMC
VDM-SL execution library using public/private VDMPad servers.
vdm vdm-sl python formal-specification form formal-methods
Language:Python 2
kasiotis / VDM-Modelling
This was an Undergraduate project where I worked with VDM-SL in Overture to complete a software modelling task.
vdm-sl software-modeling assignment
0
tomooda / VCParser
A little combinatory parser in VDM-SL
vdm vdm-sl formal-methods formal-specification formal-models parser-combinators parser peg
0
overturetool / externaltests
External tests for the Overture tool
vdm vdm-sl vdmpp vdmrt testing overture
tomooda / JSONUtil
JSON parser/printer for VDM-SL
vdm vdm-sl json formal-methods formal-specification formal-models
tomooda / VDM-benchmark
a collection of benchmarks for VDM-SL interpreters/code generators
vdm-sl vdm benchmark formal-methods formal-specification
tomooda / ViennaVM
a simple virtual machine for VDM by VDM
vdm-sl vm vdm formal-methods formal-specification formal-models
Language:C