Wiki » History » Revision 32
Revision 31 (Sergey Smolov, 05/13/2016 11:31 AM) → Revision 32/39 (Sergey Smolov, 03/24/2017 11:26 AM)
h1. User Documentation
[[Overview]]
[[Installation Guide]]
[[Command Line Options]]
h1. Programmer Documentation
[[Code Style Guide]]
[[Git Repository Structure]]
[[Logging]]
[[Project Structure]]
[[Used Tools]]
[[Utility Classes and Methods]]
[[Building]]
[[Release management]]
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 (Related Work)]]
[[EFSM Building]]
[[EFSM Traversal]]
[[Deadlock Analysis]]
[[Adapter Description]]
[[Test sequences XML representation]]
[[HDL Testbench Simulation]]
[[C++TESK templates XML representation]]