https://github.com/mpgon/viaverde
https://github.com/mpgon/viaverde
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/mpgon/viaverde
- Owner: mpgon
- Created: 2014-11-20T10:33:44.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2014-12-23T00:00:28.000Z (over 11 years ago)
- Last Synced: 2025-07-11T01:18:28.947Z (11 months ago)
- Size: 926 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
ViaVerde (GreenWay system)
========
Project developed in the context of the Computer Science class of Formal Methods, in which VDM++ is used to model the portuguese system ViaVerde(GreenWay).
Report: https://www.writelatex.com/1845107cdsjzx