Reactor Project - C statechart compiler

Members:

3

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.

Members:

2

This project aims at developing a tool for modeling and analyzing several kinds of state machines.