Project

General

Profile

Wiki » History » Version 6

Alexander Kamkin, 02/24/2014 09:53 AM

1 4 Alexander Kamkin
[[Ideas and Proof of Concept]]
2
3 5 Sergey Smolov
[[Intermediate Representation]]
4 2 Alexander Kamkin
[[GAA Meta-Model]]
5 1 Alexander Kamkin
[[CFG Extraction]]
6 3 Sergey Smolov
[[EFSM Building]]
7 6 Alexander Kamkin
8
[[Deadlock Analysis]]