https://github.com/arandilopez/z-eves
Z-EVES for linux. Probably the only place you can find it
https://github.com/arandilopez/z-eves
formal-methods legacy-application linux python z-eves z-notations
Last synced: 27 days ago
JSON representation
Z-EVES for linux. Probably the only place you can find it
- Host: GitHub
- URL: https://github.com/arandilopez/z-eves
- Owner: arandilopez
- Created: 2014-10-31T13:35:34.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2021-04-25T14:21:41.000Z (about 4 years ago)
- Last Synced: 2023-10-20T17:21:04.307Z (over 1 year ago)
- Topics: formal-methods, legacy-application, linux, python, z-eves, z-notations
- Language: Python
- Homepage:
- Size: 18.1 MB
- Stars: 19
- Watchers: 2
- Forks: 9
- Open Issues: 0