Skip to content

README.md

Latest commit

 

History

History
11 lines (8 loc) · 515 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 515 Bytes

Overview

This project contains analysis modules related to the Control Flow Automata (CFA) formalism. Its main purpose is to enable the algorithms to operate over CFA models.

Related projects

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