Preinstalled version of TTool
These "preinstalled versions" of TTool assume you agree with the TTool license. You should also have a valid licence to use the UPPAAL software.
- TTool for Windows
- TTool for MacOS BEWARE: UPPAAL does not work with "Catalina" version of MACOS (But TTool works fine apart from UPPAAL-based verifications)
- TTool for Linux