https://github.com/lip6/itstools
A multi-formalism, multi-solution model-checker centered on the language GAL
https://github.com/lip6/itstools
ctl eclipse ltl model-checking model-driven-development petri-net safety
Last synced: about 2 months ago
JSON representation
A multi-formalism, multi-solution model-checker centered on the language GAL
- Host: GitHub
- URL: https://github.com/lip6/itstools
- Owner: lip6
- License: gpl-3.0
- Created: 2017-03-03T21:06:32.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2024-06-05T11:59:07.000Z (about 1 year ago)
- Last Synced: 2024-06-05T13:31:58.190Z (about 1 year ago)
- Topics: ctl, eclipse, ltl, model-checking, model-driven-development, petri-net, safety
- Language: Python
- Size: 642 MB
- Stars: 22
- Watchers: 6
- Forks: 10
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
See our main homepage for details : http://ddd.lip6.fr
To install this tool, within a recent eclipse, Help -> Install New Software -> Add this update site https://lip6.github.io/ITSTools/
If you would prefer a command line interaction, download the version for your platform (OSX, Win, Linux) from : https://lip6.github.io/ITSTools/
You might also be looking for the version of ITS-Tools packaged for the Model Checking Contest that is distributed from here https://github.com/yanntm/ITS-Tools-MCC
ITS-Tools is distributed under the terms of GPL v3.