Skip to content

README.md

Latest commit

 

History

History
12 lines (9 loc) · 540 Bytes

README.md

File metadata and controls

12 lines (9 loc) · 540 Bytes

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.