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 journal › Article › peer-review

Original language	English (US)
Pages (from-to)	1-8
Journal	ACM SIGSOFT Software Engineering Notes
Volume	36
Issue number	1
State	Published - Jan 2011

Cite this

@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 = jan,

language = "English (US)",

volume = "36",

pages = "1--8",

journal = "ACM SIGSOFT Software Engineering Notes",

number = "1",

}