Select a product category to browse:

Unclassified: Unassigned to any classifications
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. Includes: SMC and Stratego
UPPAAL CORA: Branch of UPPAAL for Cost Optimal Reachability Analysis
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