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