README.md

Overview

This project contains analysis modules related to the Extended Symbolic Transition System (XSTS) formalism. Its main purpose is to enable the algorithms to operate over XSTS models.

Related projects

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