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

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