Esterel

Tags: synchronous

Related tools:

Esterel Summary
Language Esterel
Home Page