Reactor Project - C statechart compiler Wiki

This Wiki will serve as the system specification, its description, manual, and development log.

System Components

Input Language describes the language of the input statechart.

System Architecture is describes the high-level components of the compiler.

Development Pages

Model Checker requirements page.