Description
User Reviews for UPPAAL TIGA FOR LINUX 1
-
for UPPAAL TIGA FOR LINUX
UPPAAL TIGA FOR LINUX offers a user-friendly graphical interface with efficient on-the-fly algorithm for game analysis. Great tool for reachability and safety properties.