Project

General

Profile

Actions
History

Wiki » History » Revision 6

« Previous | Revision 6/39 (diff) | Next »
Alexander Kamkin, 02/24/2014 09:53 AM

Ideas and Proof of Concept

Intermediate Representation
GAA Meta-Model
CFG Extraction
EFSM Building

Deadlock Analysis

Updated by Alexander Kamkin over 10 years ago · 39 revisions