Reactor Project - C statechart compiler Chat

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:
4
Source License:
MIT

Forums

Topic Posts Views Last Post
Introduction 3 947 Defaultpersonimage September 09, 2011 05:14
by: Bharath
  • Mysql
  • Glassfish
  • Jruby
  • Rails
  • Nblogo
Terms of Use; Privacy Policy;
© 2014, Oracle Corporation and/or its affiliates
(revision 20160708.bf2ac18)
 
 
Close
loading
Please Confirm
Close