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., ... 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

ASTREE: Proving the absence of runtime errors. / Kastner, D.; Wilhelm, S.; Nenova, S.; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Mine, A.; Rival, Xavier.

Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010. 2010.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Kastner D, Wilhelm S, Nenova S, Cousot P, Cousot R, Feret J et al. ASTREE: Proving the absence of runtime errors. In Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010. 2010
Kastner, D. ; Wilhelm, S. ; Nenova, S. ; Cousot, Patrick ; Cousot, Radhia ; Feret, Jérôme ; Mauborgne, Laurent ; Mine, A. ; Rival, Xavier. / ASTREE: Proving the absence of runtime errors. Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010. 2010.
@inproceedings{679d3790d03a4789ac348c6160318d67,
title = "ASTREE: Proving the absence of runtime errors",
author = "D. Kastner and S. Wilhelm and S. Nenova and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and A. Mine and Xavier Rival",
year = "2010",
language = "English (US)",
booktitle = "Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010",

}

TY - GEN

T1 - ASTREE: Proving the absence of runtime errors

AU - Kastner, D.

AU - Wilhelm, S.

AU - Nenova, S.

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Mauborgne, Laurent

AU - Mine, A.

AU - Rival, Xavier

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010

ER -