A multi-formalism, multi-solution model-checker centered on the language GAL
See our main homepage for details : http://ddd.lip6.fr
For install of this Fork, within a recent eclipse, Help -> Install New Software -> Add this update site https://lip6.github.io/ITSTools/
ITS-Tools is distributed under the terms of GPL v3.