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.