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.