A VDM to Alloy translator of simple implicit VDM-SL models.
To be continued by MFES students at University of Minho.
forked from lausdahl/vdm2alloy
-
Notifications
You must be signed in to change notification settings - Fork 1
A VDM to Alloy translator of simple implicit VDM-SL models
License
overturetool/vdm2alloy
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A VDM to Alloy translator of simple implicit VDM-SL models
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 93.9%
- Alloy 6.1%