https://github.com/tomooda/viennavm
a simple virtual machine for VDM by VDM
https://github.com/tomooda/viennavm
formal-methods formal-models formal-specification vdm vdm-sl vm
Last synced: 3 months ago
JSON representation
a simple virtual machine for VDM by VDM
- Host: GitHub
- URL: https://github.com/tomooda/viennavm
- Owner: tomooda
- License: mit
- Created: 2018-07-11T03:05:03.000Z (almost 7 years ago)
- Default Branch: main
- Last Pushed: 2020-07-21T06:45:13.000Z (almost 5 years ago)
- Last Synced: 2025-01-18T01:44:20.581Z (4 months ago)
- Topics: formal-methods, formal-models, formal-specification, vdm, vdm-sl, vm
- Language: C
- Size: 177 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE