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.546.497 Times

UPPAAL 4.0.6

  Date Added: April 10, 2010  |  Visits: 616

UPPAAL

Report Broken Link
Printer Friendly Version


Product Homepage
Download (282 downloads)



UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). UPPAAL CORA is a branch of UPPAAL for Cost Optimal Reachability Anslysis developed by the UPPAAL team as part of the VHS and AMETIST projects. Whereas UPPAAL supports model checking of timed automata, UPPAAL CORA uses an extension of timed automata called LPTA. LPTA allows you to annotate the model with the notion of cost. This can be the cost of delay in certain situations or the cost of particular actions. UPPAAL CORA then finds optimal paths matching goal conditions. UPPAAL CORA has been used in a number of case studies. Some of these are described on the case study page of this site. If you come up with interesting uses, please contact us. We are interested in hearing what you do! Due to different internal data structures, UPPAAL CORA currently consists of two different versions: A version for the simplified case of time optimal reachability analysis. A version for the full language of LPTA. Like UPPAAL, UPPAAL CORA is free for non-profit use, e.g. for evaluation, research, and teaching purposes..

Requirements: No special requirements
Platforms: Linux
Keyword: Cora Cost Lpta Model Modeling Programming Quality Assurance And Testing Tool Uppaal Uppaal Cora Validation Validation And Verification Verification
Users rating: 0/10

License: Shareware
USER REVIEWS
More Reviews or Write Review


UPPAAL RELATED
Scientific and Engineering  -  Quality Assurance & Control system 2.1
Quality Assurance & Control system software provides you a Quality Assurance & Control database client server system. Postgresql server, delphi clients, web php, www-sql interface. It could be used for cable factory, solve all traceability needs,...
 
Graphics Editors  -  3D Crafter 9.1.1 Build1256
3DCrafter is a real-time 3D modeling and animation tool that incorporates an intuitive drag-and-drop approach to 3D modeling. Complex models can be constructed from simple 3D primitives, or created using 3DCrafter's Shape Building Tools....
20.2 MB  
Development Editors  -  Universal Code Lines Counter 1.1.4
A fast and easy tool for counting source code, blank and comment lines of software projects for many programming/script languages. With this application you get a detailed report (as table and additionally as graphic) about the source code of...
3.88 MB  
Database Tools  -  PostgreSQL Maestro 8.3
PostgreSQL Maestro is a high-quality Windows GUI admin tool for PostgreSQL server management, control and development. PostgreSQL Maestro allows you to create, edit, copy, extract and drop all the database objects such as schemas, tables, views,...
14.66 KB  
Multimedia & Graphics  -  Free DVD to AVI/MP4/WMV/MPEG/3GP/FLV Converter 3.2.1
Free DVD to AVI/MP4/WMV/MPEG/3GP/FLV Converter is a powerful DVD ripper and converter tool which helps you rip movies and MTVs from DVD disc to various media formats with fast ripping speed and high output quality. With the free software, you can...
6.47 MB  
Audio Tools  -  DVDConvert Pro 2.0.13
DVDConvert Pro is a professional DVD ripping and backup tool, which can help you easily and rapidly rip DVD to RM/RMVB/WMV/RA/WMA files with the perfect output quality. It has many additional and exciting features such as Sutitle offset, DVD Crop,...
19.25 MB  
Audio Tools  -  DVDConvert Std 2.0.01
DVDConvert is a powerful DVD ripping and backup tool which can help you easily and rapidly rip DVD to popular video or audio formats with the perfect output quality. DVDConvert has many additional and exciting features such as the following: 1....
19.25 MB  
Network & Internet  -  Quality Assurance Agent 0.1
QAA is a XUL Mozilla Firefox extension that performs a user supplied test list on a Web application. Test sessions can be defined by example. A report is generated when sessions are replayed. Whats New in This Release: - This release can...
30.72 KB  
Automation Tools  -  eValid 3.2
eValid's Test Enabled Web Browser™ is a test engine that provides you with browser based 100% client side quality checking, dynamic testing, content validation, page performance tuning, and webserver loading and capacity analysis. This...
2.82 MB  
Programming  -  FireAnt 1.0
FireAnt is an Eclipse plugin for modeling complex remote deployment and configuration processes for EJBs. It allows developers to model the deployment and execution of groups of packages and configuration scripts on remote targets. After...
6.7 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  wpCache WordPress HTTP Cache 1.1
wpCache is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCache decreases dramatically the page and the...
2.85 MB  
Linux Software  -  Edraw Max for Linux 8
An all-inclusive diagramming software for OS X that is capable for 260+ drawing types including flowcharts, mind maps, org charts, infographics, floor plans, AWS network diagrams, Gantt charts, electrical schematics... and that is just the...
229.07 MB  
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB