Skip to main content.

Language Reference

This section describes the languages used when defining UPPAAL system models, and requirement specifications.

The System Description section describes the language used when defining a system model.

The Requirements Specification section describes the language used when specifying requirements on the system model.

The Expressions section describes the syntax for expressions in the two languages.