Display options
Cite
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., ... & Rival, X. Conception et Implantation d’un Analyseur Statique Spécialisé pour l’Analyse de Code Critique Temps-Réel Embarqué.
Blanchet, Bruno, et al. "Conception et Implantation d’un Analyseur Statique Spécialisé pour l’Analyse de Code Critique Temps-Réel Embarqué."
Copy Download .nbib Format: MLA
Share it on
Full text links
View full text

B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne… - di.ens.fr

Conception et Implantation d'un Analyseur Statique Spécialisé pour l'Analyse de Code Critique Temps-Réel Embarqué.

program design

Blanchet, Cousot

GSID: SezkgVtVsDkJ

Excerpt

Résumé Nous rapportons sur une expérience préliminaire fructueuse sur la conception et l'implantation d'un analyseur statique de programmes, basé sur l'interprétation abstraite …