Query Syntax

This section describes a BNF-grammar for the requirement specification language used in the verifier of UPPAAL.

• Symbolic Queries
• Controller Synthesis
• Statistical Queries
• Learning Queries
• Strategy Queries

See also rail road diagram for the entire Query syntax.