Project

General

Profile

Wiki » History » Version 19

Alexander Kamkin, 08/28/2014 06:29 AM

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