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

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Embedded real time software and systems (ERTS2 2010), Toulouse, France, May 19-21 2010
State	Published - 2010

Cite this

@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 -