Retrascope

h1. User Documentation

[[Overview]]

[[Installation Guide]]

[[Command Line Options]]

h1. Programmer Documentation

[[Code Style Guide]]

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

[[EFSM Traversal]]

[[Deadlock Analysis]]

[[Adapter Description]]

[[Test sequences XML representation]]

[[HDL Testbench Simulation]]

[[C++TESK templates XML representation]]