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
StatePublished - 2010

Cite this