Project

General

Profile

Wiki » History » Version 35

Sergey Smolov, 11/19/2019 02:32 PM

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