First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Varieties of Static Analyzers: A Comparison with ASTREE
Shanghai, China
June 06-June 08
ISBN: 0-7695-2856-2
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/TASE.2007.55
We discuss the characteristic properties of ASTR?EE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous controlcommand C programs, and compare it with a variety of other program analysis tools.
Citation:
Patrick COUSOT, Radhia COUSOT, Jerome FERET, Antoine MINE, Laurent MAUBORGNE, David MONNIAUX, Xavier RIVAL, "Varieties of Static Analyzers: A Comparison with ASTREE," tase, pp.3-20, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||