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