Projects / UPPAAL TIGA


UPPAAL TIGA is an extension of UPPAAL, and implements the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The tool provides a user-friendly graphical interface with its corresponding server, and a command line verifier.

Operating Systems

Recent releases

  •  22 Nov 2006 16:27

    Release Notes: This version fixes two major bugs: Wrong answers (and strategies) were given for some cases involving delays, and the simulator didn't handle urgent and committed states properly.

    •  29 Sep 2006 17:41

      Release Notes: The performance of the engine has been improved (model analysis and storing strategies). Bugs have been fixed. New features include an interactive mode to play strategies (option -p), reuse of the state-space when checking (consecutive control) properties (option -T), and new compact representations of the strategies (options -c0 -c1). Known issues: Java 1.6 will contact the project's Web server to check the DTD, preferably 1.5. The server may crash when checking several properties; uncheck "reuse" in the GUI if it happens (only the server is affected).

      •  30 Jun 2006 16:58

        Release Notes: This version is a complete rewrite of the first prototype distributed in 2005. Performance has been improved by several orders of magnitude, and strategies are now available from the tool.


        Project Spotlight


        A Fluent OpenStack client API for Java.


        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.