Skip to main content.

This page’s menu:

Case Studies

Uppaal has been applied in a number of industrial case studies. Here we briefly review some of them. If you wish to contribute to this list, please email a short description of your case study with Uppaal to uppaal(at)list(dot)it(dot)uu(dot)se.


The model broadcast.xml shows how to use the new broadcast-feature in version 3.4