Project

General

Profile

Actions
History

Wiki » History » Revision 7

« Previous | Revision 7/39 (diff) | Next »
Alexander Kamkin, 02/27/2014 07:44 PM

Ideas and Proof of Concept

Intermediate Representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal

Deadlock Analysis

Updated by Alexander Kamkin over 10 years ago · 39 revisions