Project

General

Profile

Wiki » History » Revision 38

Revision 37 (Sergey Smolov, 01/21/2020 06:27 PM) → Revision 38/39 (Sergey Smolov, 01/22/2020 11:11 AM)

h1. User Documentation 

 [[Overview]] 
 *[[Command Line Options]]* 
 *[[Installation Guide]]* 
 *[[Getting Started]]* 
 [[Command Line Options]] 

 h1. Developer Documentation 

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

 h1. Scientific and Technical Papers 

 *[[Retrascope-Related Publications]]* [[Retrascope-Related Publications]] 
 [[EFSM Building (Related Work)]] 

 h1. Internal Documentation 

 [[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]]