Wiki » History » Revision 20
Revision 19 (Alexander Kamkin, 08/28/2014 06:29 AM) → Revision 20/39 (Sergey Smolov, 12/12/2014 05:21 PM)
h1. User Documentation
[[Ideas and Proof of Concept]]
h1. Programmer 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]]
[[C++TESK templates XML representation]]