Static analysis by abstract interpretation of embedded critical software

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationThird IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010
PublisherIEEE
StatePublished - 2010

Cite this

Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., & Rival, X. (2010). Static analysis by abstract interpretation of embedded critical software. In Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010 IEEE.

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

Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE, 2010.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bertrane, J, Cousot, P, Cousot, R, Feret, J, Mauborgne, L, Mine, A & Rival, X 2010, Static analysis by abstract interpretation of embedded critical software. in Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE.
Bertrane J, Cousot P, Cousot R, Feret J, Mauborgne L, Mine A et al. Static analysis by abstract interpretation of embedded critical software. In Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE. 2010
Bertrane, Julien ; Cousot, Patrick ; Cousot, Radhia ; Feret, Jérôme ; Mauborgne, Laurent ; Mine, A. ; Rival, Xavier. / Static analysis by abstract interpretation of embedded critical software. Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010. IEEE, 2010.
@inproceedings{f83809485d01434192d68665e651f44e,
title = "Static analysis by abstract interpretation of embedded critical software",
author = "Julien Bertrane and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and A. Mine and Xavier Rival",
year = "2010",
language = "English (US)",
booktitle = "Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010",
publisher = "IEEE",

}

TY - GEN

T1 - Static analysis by abstract interpretation of embedded critical software

AU - Bertrane, Julien

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Mauborgne, Laurent

AU - Mine, A.

AU - Rival, Xavier

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010

PB - IEEE

ER -