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 proceeding › Conference contribution

Original language	English (US)
Title of host publication	Third IEEE International Workshop UML and Formal Methods, Shanghai, China, November 16 2010
Publisher	IEEE
State	Published - 2010

Cite this

@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 -