#!/usr/local/bin/php
Maintained by Insup, Oleg, Valya July 20, 2000
CHARON: A modular language for hybrid embedded systems. Click here to browse through the CHARON grammar.
Code Generation: Model-based Code Generation from CHARON.
Test Generation: Model-based Test Generation fro Hybrid Systems.