Formal verification of a synchronous data-flow compiler : from Signal to C
Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation er...
Main Author: | Ngô, Van Chan |
---|---|
Other Authors: | Rennes 1 |
Language: | en |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014REN1S034/document |
Similar Items
-
Vérification Formelle d'un Compilateur Synchrone: de Signal vers C
by: Ngo, Van Chan
Published: (2014) -
Formal verification of a synchronous data-flow compiler : from Signal to C
by: Ngô, Van Chan
Published: (2014) -
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques
by: Fernández de Retana, Yon
Published: (2018) -
Compilation certifiée de SCADE/LUSTRE
by: Auger, Cédric
Published: (2013) -
Patrons de conception pour l’intégration graduelle de mécanismes d’adaptation dans les interfaces graphiques
by: Longchamps, Samuel
Published: (2017)