Project

General

Profile

Wiki » History » Version 23

Alexander Kamkin, 12/24/2014 03:51 PM

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