xta-analysis

README.md — what this module is

Mirrored from subprojects/xta/xta-analysis/README.md — edit it there, not here.

Overview

This project contains analysis modules related to the Uppaal Timed Automata (XTA) formalism. Its main purpose is to enable the algorithms to operate over XTA models.

Related projects

• analysis: Common analysis modules.
• xta: Classes to represent XTAs and a domain specific language (DSL) to parse XTAs from a textual representation.
• xta-cli: An executable tool (command line) for running analyses on XTAs.