about this paper

presentation abstract bibitem

downloads

paper editor link
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival.
Varieties of Static Analyzers: A Comparison with ASTRÉE, invited paper.
First IEEE & IFIP International Symposium on ``Theoretical Aspects of Software Engineering'', TASE'07, Shanghai, China, 6—8 June 2007, pp. 3—17.

Abstract: We discuss the characteristic properties of ASTRÉE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous control-command C programs, and compare it with a variety of other program analysis tools.

@inProceedings{CousotEtAl-TASE07,
   author =    {P{.} Cousot and R{.} Cousot and J{.} Feret and L{.}
                Mauborgne and A{.} Min{\'e} and D{.} Monniaux and X{.}
                Rival},
   title =     {Varieties of Static Analyzers: A Comparison with
                \textsc{Astr\'ee}, invited paper},
   booktitle = {Proc. First IEEE \& IFIP International Symposium on Theoretical
                Aspects of Software Engineering, TASE$\,$'{07}},
   editor =    {He Jifeng and J{.} Sanders},
   publisher = {{IEEE} Computer Society Press, Los Alamitos, California,
                United States},
   pages =     {3--17},
   month =     {6--8 June},
   year =      2007,
   address =   {Shanghai, China},
}