GitHub topics: vdm-sl
tomooda/ViennaTalk
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
Language: Smalltalk - Size: 48.8 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 0

peterwvj/vdm-mode
Major mode for the Vienna Development Method
Language: Emacs Lisp - Size: 811 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

overturetool/overture
The Overture Tool
Language: Java - Size: 210 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 50 - Forks: 24

csb6/vdm2cpp
VDM-SL to C++ translator plugin
Language: Java - Size: 47.9 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

csb6/bottom-up-parsers
Specifications of bottom-up parsers in VDM-SL
Size: 46.9 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

michailmarkou1995/Java
ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)
Language: Java - Size: 168 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1

kasiotis/VDM-Modelling
This was an Undergraduate project where I worked with VDM-SL in Overture to complete a software modelling task.
Size: 475 KB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tomooda/pyVDMC
VDM-SL execution library using public/private VDMPad servers.
Language: Python - Size: 168 KB - Last synced at: 3 months ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 0

tomooda/ViennaVM
a simple virtual machine for VDM by VDM
Language: C - Size: 177 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

overturetool/externaltests
External tests for the Overture tool
Size: 832 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tomooda/VCParser
A little combinatory parser in VDM-SL
Size: 43 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

tomooda/JSONUtil
JSON parser/printer for VDM-SL
Size: 125 KB - Last synced at: 3 months ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

tomooda/VDM-benchmark
a collection of benchmarks for VDM-SL interpreters/code generators
Size: 8.79 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
