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
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 |
---|