UPPAAL

A graphical system editor allowing graphical descriptions of systems.

trusted DOWNLOAD 9.3 MB

Uppaal is an integrated tool environment for modeling, simulation and, verification of real-time embedded systems.

Typical application areas of UPPAAL includes real-time controllers and communication protocols in particular, those where timing aspects are critical.

This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted DOWNLOAD 9.3 MB
Specifications
Developer:
Uppsala, Sweden
Latest version:
All versions
License type:
Demo
Questions & answers