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