Skip to main content.

Welcome!

Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

Uppaal Stratego [DJLMT15] facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible “strategy-space” exploration before adaptation in a final implementation by maintaining strategies as first class objects in the model-checking query language.

Uppaal Stratego {doi} generalizes techniques developed in the following tools and papers:

Like Uppaal, Uppaal Stratego is free for non-profit use, e.g. for evaluation, research, and teaching purposes. For more details please read the license.

References

  • [DJLMT15] Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis and Jakob Haahr Taankvist. Uppaal Stratego. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015. {bib}
  • [DJLLLST14] Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Acel Legay, Didier Lime, Mathias Grund Sørensen and Jakob Haahr Taankvist. On Time with Minimal Expected Cost! 12th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2014. {bib}
  • [DLLMP15] Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis and Danny Bøgsted Poulsen. Uppaal SMC tutorial. International Journal on Software Tools for Technology Transfer, 2015. {bib}
  • [CDFLL05] Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen and Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games. 16th International Conference CONCUR, 2005. {bib}
  • [BDL04] Gerd Behrmann, Alexandre David, and Kim Guldstrand Larsen. A Tutorial on UPPAAL. Formal Methods for the Design of Real-Time Systems, 2004. {bib}

Latest News

New home page

23 February 2015

New webpage for the new tool.