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||Windows Mac OS X POSIX Linux|
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.
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).
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.