UPPAAL

UPPAAL 4.0

A graphical system editor allowing graphical descriptions of systems.
 
4.0.13 (See all)

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.

Info updated on: