The parallel implementation of the Astrée static analyzer - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

The parallel implementation of the Astrée static analyzer

Résumé

The Astrée static analyzer is a specialized tool that can prove the absence of runtime errors, including arithmetic overflows, in large critical programs. Keeping analysis times reasonable for industrial use is one of the design objectives. In this paper, we discuss the parallel implementation of the analysis.
Fichier principal
Vignette du fichier
aplas05_article.pdf (184.12 Ko) Télécharger le fichier
transparents_dm_aplas05.pdf (86.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

hal-00128097 , version 1 (30-01-2007)

Identifiants

Citer

David Monniaux. The parallel implementation of the Astrée static analyzer. 2005, pp.86-96, ⟨10.1007/11575467_7⟩. ⟨hal-00128097⟩
67 Consultations
96 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More