The parallel implementation of the Astrée static analyzer

Simple item page
dc.creatorMonniaux, David
dc.date2007-01-30
dc.date.accessioned2026-07-07T07:43:50Z
dc.date.available2026-07-07T07:43:50Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/cs/0701191
dc.identifierhttp://arxiv.org/abs/cs/0701191
dc.identifierAPLAS: Programming languages and systems (2005) 86-96
dc.identifierdoi:10.1007/11575467_7
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/122981
dc.subjectProgramming Languages
dc.subjectPerformance
dc.subjectD.2.4
dc.titleThe parallel implementation of the Astrée static analyzer
dc.typetext

Files

Collections

arXiv