Uppaal Toolset
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.).
Website: www.uppaal.com
Personal tools
|
|
|
|
Results
|
|