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 using Uppaal to uppaal(at)list(dot)it(dot)uu(dot)se.


Benchmarks

A number of older Uppaal benchmarks.