Brief Presentation
SyncCharts allow the specification of reactive behavior, as well as the synchronous programming of applications.
SyncCharts adhere to the "Synchronous Paradigm". They support:
Any syncChart can be automatically translated into an Esterel program (esterel
v5), so that, the user can take advantage of the software environment developed
for synchronous programming.