Wiki » History » Version 37
Sergey Smolov, 01/21/2020 06:27 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 | 37 | Sergey Smolov | [[EFSM Building (Related Work)]] |
21 | 19 | Alexander Kamkin | |
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 | 32 | Sergey Smolov | [[CFG Extraction]] |
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]] |