This page’s menu:

Case Studies & Examples

Uppaal has been applied in a number of industrial case studies. Here we briefly review some of them.

More models are available at uppaal-models repository.

If you wish to contribute to this list, please email a short description of your case study.

UPPAAL


Benchmarks

A number of older Uppaal benchmarks.