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.

  1. TTool for Windows

  2. TTool for MacOS

  3. TTool for Linux