UPPAAL TIGA For Linux
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly algorithm for solving games.. #Solving games #Command line verifier #On-the-fly algorithm #UPPAAL #TIGA #Solving
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties.
Though timed games for long have been known to be decidable there has until now been a lack of efficient and truly on-the-fly algorithms for their analysis.
UPPAAL TIGA provides a user-friendly graphical interface with its corresponding server, and a command line verifier.
The algorithm we propose [CDFLL05] is a symbolic extension of the on-the-fly algorithm suggested by Liu & Smolka [LS98] for linear-time model-checking of finite-state systems. Being on-the-fly, the symbolic algorithm may terminate long before having explored the entire state-space.
Also the individual steps of the algorithm are carried out efficiently by the use of so-called zones as the underlying data structure. Our tool implements various optimizations of the basic symbolic algorithm, as well as methods for obtaining time-optimal winning strategies (for reachability games).
What's New in This Release:
� 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.
UPPAAL TIGA 4.1.0-0.9
add to watchlist add to download basket send us an update REPORT- runs on:
- Linux
- main category:
- Science
- developer:
- visit homepage
Microsoft Teams 24060.3102.2733.5911 Home / 1.7.00.7956 Work
Bitdefender Antivirus Free 27.0.35.146
7-Zip 23.01 / 24.04 Beta
Windows Sandbox Launcher 1.0.0
calibre 7.9.0
IrfanView 4.67
4k Video Downloader 1.5.3.0080 Plus / 4.30.0.5655
ShareX 16.0.1
Context Menu Manager 3.3.3.1
Zoom Client 6.0.3.37634
- ShareX
- Context Menu Manager
- Zoom Client
- Microsoft Teams
- Bitdefender Antivirus Free
- 7-Zip
- Windows Sandbox Launcher
- calibre
- IrfanView
- 4k Video Downloader