Actions

History

Wiki » History » Revision 32

« Previous | Revision 32/39 (diff) | Next »
Sergey Smolov, 03/24/2017 11:26 AM

User Documentation¶

Overview
Installation Guide
Command Line Options

Programmer Documentation¶

Code Style Guide
Git Repository Structure
Logging
Project Structure
Used Tools
Utility Classes and Methods

Building
Release management

Scientific and Technical Papers¶

Retrascope-Related Publications

Internal Documentation¶

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

Files (0)

Updated by Sergey Smolov over 7 years ago · 39 revisions