Project

General

Profile

Wiki » History » Version 29

Sergey Smolov, 01/25/2016 05:11 PM

1 18 Alexander Kamkin
h1. User Documentation
2
3 22 Sergey Smolov
[[Overview]]
4 24 Sergey Smolov
[[Installation Guide]]
5 21 Sergey Smolov
[[Command Line Options]]
6 1 Alexander Kamkin
7 19 Alexander Kamkin
h1. Programmer Documentation
8 1 Alexander Kamkin
9
[[Code Style Guide]]
10
[[Logging]]
11
[[Project Structure]]
12
[[Used Tools]]
13 19 Alexander Kamkin
14 26 Sergey Smolov
[[Building]]
15 25 Alexey Demakov
[[Release management]]
16
17 19 Alexander Kamkin
h1. Scientific and Technical Papers
18
19
[[Retrascope-Related Publications]]
20
21
h1. Internal Documentation
22 1 Alexander Kamkin
23 23 Alexander Kamkin
[[Ideas and Proof of Concept]]
24 18 Alexander Kamkin
[[Control Flow Graph representation]]
25
[[GAA Meta-Model]]
26
[[CFG Extraction]]
27
[[EFSM Building]]
28
[[EFSM Traversal]]
29
[[Deadlock Analysis]]
30 27 Sergey Smolov
[[Adapter Description]]
31 18 Alexander Kamkin
[[Test sequences XML representation]]
32 29 Sergey Smolov
[[HDL Testbench Simulation]]
33 20 Sergey Smolov
[[C++TESK templates XML representation]]