Actions
Wiki » History » Revision 22
« Previous |
Revision 22/39
(diff)
| Next »
Sergey Smolov, 12/23/2014 09:41 PM
User Documentation¶
Overview
Ideas and Proof of Concept
Command Line Options
Programmer Documentation¶
Code Style Guide
Logging
Project Structure
Used Tools
Scientific and Technical Papers¶
Retrascope-Related Publications
Internal Documentation¶
Control Flow Graph representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal
Deadlock Analysis
Test sequences XML representation
C++TESK templates XML representation
Updated by Sergey Smolov almost 10 years ago · 39 revisions