Timed Automata in UPPAAL

Timed Automata with Invariants+ urgent action channels,+ urgent and committed locations,+ data-variables (with bounded domains),+ arrays of data-variables, + constants, + guards and assignments over data-variables and arrays…,+ templates with local clocks, data-variables, and constants.

Timed Automata with Invariants + urgent action channels, + urgent and committed locations, + data-variables (with bounded domains), + arrays of data-variables, + constants, + guards and assignments over data-variables and arrays…, + templates with local clocks, data-variables, and constants.