User Documentation¶

Overview
Installation Guide
Getting Started
Command Line Options

Developer Documentation¶

Building
Code Style Guide
Git Repository Structure
Logging
Project Structure
Release management
Utility Classes and Methods

Scientific and Technical Papers¶

Retrascope-Related Publications
EFSM Building (Related Work)

Internal Documentation¶

Ideas, concepts, outdated data

Ideas and Proof of Concept
Control Flow Graph representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal
Deadlock Analysis
Adapter Description
Test sequences XML representation
HDL Testbench Simulation
C++TESK templates XML representation