Varieties of Static Analyzers: A Comparison with ASTREE

Shanghai, China June 06-June 08

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/TASE.2007.55

First Joint IEEE/IFIP Symposium on Th ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Patrick COUSOT Articles by Radhia COUSOT Articles by Jerome FERET Articles by Antoine MINE Articles by Laurent MAUBORGNE Articles by David MONNIAUX Articles by Xavier RIVAL

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.