|
About:
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.
Author:
Alex [contact developer]
Homepage:
http://www.cs.aau.dk/~adavid/tiga/
Zip:
http://www.uppaal.com/download/registration.php?id=5&subid=0
OS X package:
http://www.uppaal.com/download/registration.php?id=5&subid=1
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 17132)
» Popularity: 0.21% (Rank 23512)
 
(click to enlarge graphs)
Record hits: 2,513
URL hits: 309
Subscribers: 5
|
|
