Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.888.647 Times

UPPAAL TIGA 4.1.0-0.9

  Date Added: July 13, 2010  |  Visits: 515

UPPAAL TIGA

Report Broken Link
Printer Friendly Version


Product Homepage
Download (86 downloads)



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). Whats New in This Release: - This version fixes two major bugs: Wrong answers (and strategies) were given for some cases involving delays, and the simulator didnt handle urgent and committed states properly..

Requirements: No special requirements
Platforms: Linux
Keyword: Algorithm Efficient Extension Implements Miscellaneous On-the-fly Science Solving Tiga Uppaal
Users rating: 0/10

License: Shareware
USER REVIEWS
More Reviews or Write Review


UPPAAL TIGA RELATED
ActiveX Components  -  EaseFilter Encryption Filter Driver SDK 4.0.1.0
EaseFilter File system encryption filter driver SDK provides a comprehensive solution for transparent file level encryption. It allows developers to create transparent encryption products which it can encrypt or decrypt files on-the-fly, it can...
1.62 MB  
File Security  -  StrongDisk Pro 3.0
StrongDisk Pro protects sensitive data on your notebook or PC. It creates virtual encrypted disks, which work as common disks. All content of these disks is encrypting on-the-fly with strong crypto-algorithms. To mount disk a password and an...
1.87 MB  
Security Tools  -  Encrypted Briefcase Personal 2.41
Encrypted Briefcase Personal encrypts and decrypts files on-the-fly with AES. By using it, you can play encrypted videos, view encrypted pictures, edit and save encrypted documents as usual. This tool also hides and locks folders. Without...
1.77 MB  
Network & Internet  -  mod_gunzip 2
mod_gunzip is on-the-fly decompression of gzip-compressed HTML documents.. Helge Oldach
12.29 KB  
Programming  -  On-the-Fly .NET Compiler 1.0
On-the-Fly .NET Compiler - tool or library for compilation CLR language in real time, also in memory, and following execution. This can be used for desktop and web scripting, remote compilation, etc. It's free, written on C# and multiplatform.
8.73 KB  
File Synchronizers  -  Ext2 compression extension 0.4.50-0403
Ext2 compression extension (E2compr) is a small patch against the ext2 filesystem that allows on-the-fly compression and decompression. It compresses only regular files; the administrative data (superblock, inodes, directory files etc.) are not...
 
Education  -  Solo on the Keyboard 8.X pre2
Solo on the Keyboard projetc is an authorized touch typing tutorial which guarantees solid typing skills in 30 hours of enjoyable yet responsible work. The course is available for QWERTY (US and UK) and Dvorak keyboard layouts as well as Italian...
 
MP3 Tools  -  ENC Encryption Software 1.9
The ENC Encryption Software is intended for fast encrypting of any user's files. For this purpose, RC4, a high-speed on-the-fly algorithm of encrypting, is used in the program. The program allows to encrypt any taken file and to pass it safely to...
515.72 KB  
Security Tools  -  ViPNet Safe Disk 3.1.0
ViPNet Safe Disk is an easy-to-use, reliable, user-friendly and smart program that lets you create encrypted disk partition (drive letter) to keep your private and confidential data secure. It keeps your confidential data in a strongly encrypted...
9.46 MB  
Puzzles  -  Trivial Pursuit: Bring On The 90's 1.0
Test your 90's trivia knowledge with the all-new Trivial Pursuit Bring On The 90's Edition, the fast-paced trivia game based on the successful board game! Six categories and 3,000 questions for hours of fun! Beat the computer or go head-to-head...
28.11 MB  
NEW DOWNLOADS IN EDUCATION, SCIENCE
Education  -  KB Piano 2.5.2
KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...
10.61 MB  
Education  -  EgoNet for Linux 2011-03-31
Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other...
10.87 MB  
Education  -  Vectronics 0.2
Vectronics is a way to share schematics. It makes quick svg images that can be displayed in a browser and reopened and reedited as a schematic. Hyperlinks can also be added to link to data sheets or source code. It is a simple xml based drawing...
399.36 KB  
Education  -  Learn Words 0.1
This program helps you to learn words of foreign languages. You can type in the words and their meanings and then the computer asks them and rates you. You can also grab the words from a file and look up their meanings with the included electronic...
61.44 KB  
Education  -  Familier for Linux 0.91.12
Familier is cross-platform Family Tree management (Genealogy) Software using QT. It supports viewing/editing file tree using drag-drop in multiple ways. Events allow you to define events in any number.
5.88 MB  
Science  -  Bersoft Image Measurement for Linux 1.0
Bersoft Image Measurement is an application for measuring digital images. To measure an image, simply click on the image to define control points. The program will automatically calculate the area, perimeter, angle, radius, or length, depending on...
2.12 MB  
Science  -  Cross Section Analysis & Design 3.2
Cross Section Analysis And Design is a powerful application that can perform a wide range of cross section calculations, including the design of reinforced concrete sections. It can handle any arbitrary cross section under biaxial bending and...
9.51 MB  
Science  -  SVDetect 0.7m
SVDetect is a application for the isolation and the type prediction of intra- and inter-chromosomal rearrangements from paired-end/mate-pair sequencing data provided by the high-throughput sequencing technologies This tool aims to...
593.92 KB  
Science  -  irs Word Builder 1.0
irs feelings is a free and open source application which allows children to communicate their feelings. irs feelings is developed for children with ASD (autism/autistic spectrum disorder) and behavioral/emotional problems It allows...
61.44 KB  
Science  -  Stellarium for Linux 0.11.0
Stellarium is a free GPL software which renders realistic skies in real time with openGL. Stellarium is available for Linux/Unix, MacOSX and Windows. With Stellarium, you really see what you can see with your eyes, binoculars or a small...
43.57 MB