|
Bugzilla – Browse |
| Build system: | A common build system is used for all Uppaal related components. |
|---|---|
| DBM: | The DBM library of UPPAAL |
| Test Suite: | Our test suite. For internal use only. |
| UPPAAL: | A model checker for Timed Automata. |
| UPPAAL CORA: | Branch of UPPAAL for Cost Optimal Reachability Analysis |
| UPPAAL TIGA: | UPPAAL for Timed Games |
| UPPAAL TRON: | UPPAAL Testing Real-time systems ONline |
| Web page: | Our web-site at http://www.uppaal.com |