loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
ASCII Text
x 
 
Patrick COUSOT, Radhia COUSOT, Jerome FERET, Antoine MINE, Laurent MAUBORGNE, David MONNIAUX, Xavier RIVAL, "Varieties of Static Analyzers: A Comparison with ASTREE," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 3-20, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2007.55,
author = {Patrick COUSOT and Radhia COUSOT and Jerome FERET and Antoine MINE and Laurent MAUBORGNE and David MONNIAUX and Xavier RIVAL},
title = {Varieties of Static Analyzers: A Comparison with ASTREE},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2856-2},
pages = {3-20},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.55},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - Varieties of Static Analyzers: A Comparison with ASTREE
SN - 0-7695-2856-2
SP3
EP20
A1 - Patrick COUSOT,
A1 - Radhia COUSOT,
A1 - Jerome FERET,
A1 - Antoine MINE,
A1 - Laurent MAUBORGNE,
A1 - David MONNIAUX,
A1 - Xavier RIVAL,
PY - 2007
KW - null
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
Patrick COUSOT, Ecole Normale Superieure, France
Radhia COUSOT, CNRS, Ecole Polytechnique, France
Jerome FERET, Ecole Normale Superieure, France
Antoine MINE, Ecole Normale Superieure, France
Laurent MAUBORGNE, Ecole Normale Superieure, France
David MONNIAUX, CNRS, Ecole Normale Superieure, France
Xavier RIVAL, Ecole Normale Superieure, France
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.