Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 520 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 520 Bytes
Raw

Overview

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

Related projects

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