Wiki » History » Revision 23
Revision 22 (Sergey Smolov, 12/23/2014 09:41 PM) → Revision 23/39 (Alexander Kamkin, 12/24/2014 03:51 PM)
h1. User Documentation [[Overview]] [[Ideas and Proof of Concept]] [[Command Line Options]] h1. Programmer Documentation [[Code Style Guide]] [[Logging]] [[Project Structure]] [[Used Tools]] h1. Scientific and Technical Papers [[Retrascope-Related Publications]] h1. Internal Documentation [[Ideas and Proof of Concept]] [[Control Flow Graph representation]] [[GAA Meta-Model]] [[CFG Extraction]] [[EFSM Building]] [[EFSM Traversal]] [[Deadlock Analysis]] [[Test sequences XML representation]] [[C++TESK templates XML representation]]