Skip to content

Latest commit

 

History

History
11 lines (7 loc) · 635 Bytes

README.md

File metadata and controls

11 lines (7 loc) · 635 Bytes
Raw

Overview

This project contains the Uppaal timed automata (XTA) formalism. Its main purpose is to describe timed systems as graphs with clock variables. A domain specific language (DSL) is available to parse XTAs from the textual representation of Uppaal. The project contains:

  • Classes to represent XTAs.
  • A domain specific language (DSL) to parse XTAs from a textual representation.

Related projects

  • xta-analysis: XTA specific analysis modules enabling the algorithms to operate on them.
  • xta-cli: An executable tool (command line) for running analyses on XTAs.