Select a product category to browse:
|
Build system:
|
A common build system is used for all Uppaal related components. |
|
DBM:
|
The DBM library of UPPAAL |
|
SpamAssasin:
|
special product to get rid of the spam reports. |
|
Test Suite:
|
Our test suite. For internal use only. |
|
UPPAAL:
|
A model checker for Timed Automata.
Includes: SMC and Stratego |
|
UPPAAL CORA:
|
Branch of UPPAAL for Cost Optimal Reachability Analysis |
|
UPPAAL ECDAR:
|
Environment for Compositional Design and Analysis of Real Time Systems |
|
UPPAAL Stratego:
|
Strategy synthesis, learning and evaluation. |
|
UPPAAL TIGA:
|
UPPAAL for Timed Games |
|
UPPAAL TRON:
|
UPPAAL Testing Real-time systems ONline |
|
Web page:
|
Our web-site at http://www.uppaal.com |
| |