UPPAAL
Home
1.
GUI Reference
Menu Bar
File Menu
Edit Menu
View Menu
Tools Menu
Options Menu
Help Menu
Tool Bar
System Editor
Navigation Tree
Drawing
Declarations
Symbolic Simulator
Simulation Control
Variables Panel
Process Panel
Message Sequence Chart
Symbolic Traces
Concrete Simulator
Simulation Control
Variables Panel
Process Panel
Message Sequence Chart
Gantt Chart Panel
Verifier
Specifying Requirements
Verifying Requirements
Test Cases (Yggdrasil)
Generating Traces
Specifying Test Code
Tutorial
Basic Test Generation
Using Model Variables
Using Queries
2.
Language Reference
System Description
Declarations
Types
Functions
External Functions
Templates
Locations
Edges
Parameters
System Definition
Template Instantiation
Progress Measures
Gantt Chart
Priorities
Scope Rules
Semantics
Query Syntax
Symbolic Queries
Controller Synthesis
Statistical Queries
Learning Queries
Strategy Queries
Query Semantics
Symbolic Queries
Statistical Queries
Confidence Intervals
Expressions
Identifiers
Reserved Keywords
3.
Tools & API
UPPAAL
verifyta
Java API
Socketserver
Docker
File Formats
Latex
4.
Extensions
CORA
ECDAR
UPPAAL Tiga
UPPAAL TRON
(c) 1995-2023
UPPAAL
Edit this page
>
Language Reference
> Query Semantics
Query Semantics
Semantics of requirement specification language used in the verifier of UPPAAL.
Symbolic Queries
Statistical Queries
Confidence Interval Estimation