Team aoste

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Keywords : Esterel, SyncCharts, compilation, static analysis, verification.

SyncCharts/Esterel

Participants : Charles André, Robert de Simone, Dumitru Potop.

The main software development activities concerning synchronous formalisms went to the Esterel Technologies company as it was spun-off from the former Meije team. We still carrry some experimental development on the former academic versions of Esterel and SynCharts, mostly to validate new algorithmic model transformations or analysis.


previous
next

Logo Inria