UPPAAL Verification Tool

Kim Larsen's research interests include modeling, verification, performance analysis of real-time and embedded systems with applications to concurrency theory and model checking. He is prime investigator of the real-time verification UPPAAL tool, as well as the various new branches of the tool targeted towards planning, optimization, testing, synthesis and compositional analysis.

In the video below Kim describes his interests including the UPPAAL model checking verification tool and describes some applications and challenges for collective adaptive systems. On the right there's a link to a 'CASSTING Case Study' which describes how the UPPAAL tool is used in the CASSTING project in a floor heating case study.


Share this page: LinkedIn Twitter Facebook Google


Kim Larsen is a professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit. He is also director of the ICT-competence center CISS, Center for Embedded Software Systems. He is also director of the Sino-Danish Basic Research Center IDEA4CPS, the Danish Innovation Network InfinIT, as well as the newly founded innovation research center DiCyPS: Data Intensive Cyber Physical Systems.

Kim G Larsen
Cassting Floor Heating Case Study Video
Cassting Website