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

Internals

Some features of UPPAAL include:
Framework Model checking Simulation

Links

Project page: https://uppaal.org/

Last commit date

2 December 2021

Related papers

Last publication date

2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.