Project

General

Profile

Wiki » History » Version 36

Sergey Smolov, 01/21/2020 06:23 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 25 Alexey Demakov
[[Utility Classes and Methods]]
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 32 Sergey Smolov
[[EFSM Building (Related Work)]]
28 18 Alexander Kamkin
[[EFSM Building]]
29
[[EFSM Traversal]]
30
[[Deadlock Analysis]]
31 27 Sergey Smolov
[[Adapter Description]]
32 18 Alexander Kamkin
[[Test sequences XML representation]]
33 29 Sergey Smolov
[[HDL Testbench Simulation]]
34 20 Sergey Smolov
[[C++TESK templates XML representation]]