PV5 UPPAALan IDE for modelling, validating and verifying networks of timed automata

Tool set for modeling, validation and verification of real-time systems that are modelled as networks of timed automata, extended with data types.

Application domain/field

Type of tool

Framework for modeling, validating and verifying real-time systems


Some features of UPPAAL include:
Framework Model checking Simulation


Related papers

Last publication date


ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.