Pre-release of new UPPAAL

Pre-release of new UPPAAL

At the Industry Day of the Formal Methods 2023 conference in Lübeck, researchers from DEIS showcased the new UPPAAL version 5 to colleagues and industry representatives.

Last modified: 10.03.2023

A new release of the award-winning tool UPPAAL is currently under development. 

This week, Martijn Goorden, Marius Mikučionis and Florian Lorber from the Distributed, Embedded and Intelligens Systems group participated in the 25th International Symposium on Formal Methods in Lübeck to showcase the release to colleagues and industry representatives.

The event generated lots of lively chats and discussions, based on demos from several research projects.

UPPAAL is an integrated tool environment for modelling, simulation and verification of real-time systems, developed jointly by the Department of Computer Science, Aalborg University, with Kim Guldstrand Larsen as prime investigator, and Uppsala University.

Since its first release in 1995, UPPAAL has been used in several applications – from controlling traffic and floor-heating systems to developing better decision-making tools for COVID-19 initiatives.

For more info, go to the UPPAAL website


Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: ・Vacancies