Varieties of Static Analyzers: A Comparison with ASTRÉE
- Cousot, Patrick
- Cousot, Radhia
- Feret, Jerôme
- Mauborgne, Laurent
- Miné, Antoine
- Monniaux, David
- Rival, Xavier
Publication date
June 2007
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)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
Add to ORKG