Static analysis by abstract interpretation of embedded critical software

Julien Bertrane, Patrick Cousot, Jérôme Feret, Laurent Mauborgne, A. Mine, Xavier Rival

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)1-8
JournalACM SIGSOFT Software Engineering Notes
Volume36
Issue number1
StatePublished - Jan 2011

Cite this

Bertrane, J., Cousot, P., Feret, J., Mauborgne, L., Mine, A., & Rival, X. (2011). Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes, 36(1), 1-8.

Static analysis by abstract interpretation of embedded critical software. / Bertrane, Julien; Cousot, Patrick; Feret, Jérôme; Mauborgne, Laurent; Mine, A.; Rival, Xavier.

In: ACM SIGSOFT Software Engineering Notes, Vol. 36, No. 1, 01.2011, p. 1-8.

Research output: Contribution to journalArticle

Bertrane, J, Cousot, P, Feret, J, Mauborgne, L, Mine, A & Rival, X 2011, 'Static analysis by abstract interpretation of embedded critical software', ACM SIGSOFT Software Engineering Notes, vol. 36, no. 1, pp. 1-8.
Bertrane, Julien ; Cousot, Patrick ; Feret, Jérôme ; Mauborgne, Laurent ; Mine, A. ; Rival, Xavier. / Static analysis by abstract interpretation of embedded critical software. In: ACM SIGSOFT Software Engineering Notes. 2011 ; Vol. 36, No. 1. pp. 1-8.
@article{6fd96aefa2f7406fbd788cf40f9ccfe7,
title = "Static analysis by abstract interpretation of embedded critical software",
author = "Julien Bertrane and Patrick Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and A. Mine and Xavier Rival",
year = "2011",
month = "1",
language = "English (US)",
volume = "36",
pages = "1--8",
journal = "ACM SIGSOFT Software Engineering Notes",
number = "1",

}

TY - JOUR

T1 - Static analysis by abstract interpretation of embedded critical software

AU - Bertrane, Julien

AU - Cousot, Patrick

AU - Feret, Jérôme

AU - Mauborgne, Laurent

AU - Mine, A.

AU - Rival, Xavier

PY - 2011/1

Y1 - 2011/1

M3 - Article

VL - 36

SP - 1

EP - 8

JO - ACM SIGSOFT Software Engineering Notes

JF - ACM SIGSOFT Software Engineering Notes

IS - 1

ER -