This page contains information about the exercise part of the course Modelización (Grado MI) at the Facultad de Informática, UPM. If your English is not good enough to understand the instructions, please consult me directly ( for information.


Read the Tutorials

The two tutorials (shorter, longer) are recommended reading while doing the exercises. Pay special attention to the syntax of properties (the Help menu item is also helpful).

Download Uppaal

If these do not work, try installing the newer versions (Uppaal 4.1) directly from

Installation instructions

To install Uppaal Java (at least version 6) should be installed first. See the readme.txt file (Windows and Linux) for detailed instructions.