about this paper

presentation abstract bibitem

downloads

paper (on HAL) editor link
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, & Xavier Rival.
The ASTRÉE Analyzer.
 In Proceedings of Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Shmuel Sagiv (Ed.), Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, April 4—8, 2005, Edinburgh, UK. Lecture Notes in Computer Science 3444, pp. 21—30, © Springer, ISBN 3-540-25435-8.

Abstract: ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C programming language. It has been applied with success to large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing a correctness proof for complex software without any false alarm in a few hours of computation. 

@InProceedings{CousotEtAl-ASTREE-ESOP05,
  author =    {P{.}~Cousot and  R{.}~Cousot and J{.}~Feret and L{.}~Mauborgne and A{.}~Min\'e and D{.}~Monniaux and X{.}~Rival},
  title =     {The {ASTR\'EE} {A}nalyser},
  pages =     {21--30},
  booktitle = {Proceedings of the European Symposium on Programming (ESOP'05)},
  series =    {Lecture Notes in Computer Science},
  editor =    {M{.}~Sagiv},
  volume =    {3444},
  address =   {Edinburgh, Scotland},
  publisher = {\textcopyright\ Springer},
  month =     {April 2--10},
  year =      2005,
}