This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

The product Web%20page does not exist or you don't have access to it. The following is a list of the products you can choose from.

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