UPPAAL 403
UPPAAL 403
- Downloads: 846
- Requirements:
- Size: 0
- Licence:
- Version: 0
- Added At: 2006-17-10
- Publisher Site:
UPPAAL 403
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.
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.
�. you can free download UPPAAL 403 now.
Soft85 only provide legal software, please help us keeping pur site legal, if you think this page is violating copyrights please let us know by clicking here Here