Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit


Git stats


Failed to load latest commit information.


A multi-formalism, multi-solution model-checker centered on the language GAL

See our main homepage for details :

To install this tool, within a recent eclipse, Help -> Install New Software -> Add this update site

If you would prefer a command line interaction, download the version for your platform (OSX, Win, Linux) from :

You might also be looking for the version of ITS-Tools packaged for the Model Checking Contest that is distributed from here

ITS-Tools is distributed under the terms of GPL v3.