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
> Extensions

Chapter 4

Extensions

  • CORA
  • ECDAR
  • UPPAAL Tiga
  • UPPAAL TRON