ASTREE: Proving the absence of runtime errors

D. Kastner, S. Wilhelm, S. Nenova, 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 publicationEmbedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010
StatePublished - 2010

Cite this