Varieties of Static Analyzers: A Comparison with ASTRÉE - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Varieties of Static Analyzers: A Comparison with ASTRÉE

Résumé

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.
Fichier principal
Vignette du fichier
CousotP-Astree-TASE07.pdf (567.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00154031 , version 1 (29-06-2017)

Identifiants

Citer

Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, et al.. Varieties of Static Analyzers: A Comparison with ASTRÉE. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩. ⟨hal-00154031⟩
86 Consultations
305 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More