Vérification Formelle d'un Compilateur Synchrone: de Signal vers 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 compi...
Main Author: | |
---|---|
Language: | English |
Published: |
Université Rennes 1
2014
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-01058041 http://tel.archives-ouvertes.fr/docs/01/05/80/41/PDF/chan_thesis_full.pdf |