https://github.com/tomooda/pyvdmc

VDM-SL execution library using public/private VDMPad servers.
https://github.com/tomooda/pyvdmc

form formal-methods formal-specification python vdm vdm-sl

Last synced: about 3 hours ago
JSON representation

VDM-SL execution library using public/private VDMPad servers.

• Host: GitHub
• URL: https://github.com/tomooda/pyvdmc
• Owner: tomooda
• License: mit
• Created: 2015-04-28T02:02:19.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-06-09T04:23:37.000Z (over 9 years ago)
• Last Synced: 2024-11-17T06:37:24.391Z (2 months ago)
• Topics: form, formal-methods, formal-specification, python, vdm, vdm-sl
• Language: Python
• Size: 168 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project