README.md

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.