A multi-formalism, multi-solution model-checker centered on the language GAL.
See our main homepage for details : https://lip6.github.io/ITSTools-web/
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.
LIP6, CNRS & Sorbonne Université