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

Kastner, D., Wilhelm, S., Nenova, S., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., & Rival, X. (2010). ASTREE: Proving the absence of runtime errors. In Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010