Project

General

Profile

Wiki » History » Revision 19

Revision 18 (Alexander Kamkin, 08/28/2014 06:24 AM) → Revision 19/39 (Alexander Kamkin, 08/28/2014 06:29 AM)

h1. User Documentation 

 [[Ideas and Proof of Concept]] 

 h1. Programmer Scientific and Technical Papers 

 [[Retrascope-Related Publications]] 

 h1. Internal Documentation 

 [[Code Style Guide]] 
 [[Logging]] 
 [[Project Structure]] 
 [[Used Tools]] 

 h1. Scientific and Technical Papers 

 [[Retrascope-Related Publications]] 

 h1. Internal Documentation 

 [[Control Flow Graph representation]] 
 [[GAA Meta-Model]] 
 [[CFG Extraction]] 
 [[EFSM Building]] 
 [[EFSM Traversal]] 
 [[Deadlock Analysis]] 
 [[Test sequences XML representation]]