Overview of UPPAAL

AUTOGRAPH

VERIFYTA

Constraint Solver

Forward Analysis

Trace Generator

SIMTA

Graphical Display

Graphic Animator

Random Simulator

Requirement

Diagnostic

Trace

YES

Execution

Trace

atg2ta

Previous slide

Next slide

Back to first slide

View graphic version