Reactor Project - C statechart compiler
A compiler and code generator for C language concurrent statecharts. Harel type statecharts are encoded and model-checked, and a C program is produced as output for executing on an embedded system.
- Tags:
- embedded, c, statechart, state, statemachine, compiler
- Members:
- 3
- Source License:
- MIT
Forums
| Topic | Posts | Views | Last Post |
|---|---|---|---|
| Introduction | 3 | 611 |
September 09, 2011 05:14
by: Bharath |
