The parallel implementation of the Astrée static analyzer

Preprint

30 January 2007

preprint
Published by arXiv in arXiv

https://doi.org/10.48550/arXiv.cs/0701191

Abstract

The Astr\'{e}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.

Keywords

ASTR
CRITICAL PROGRAMS
INCLUDING ARITHMETIC
LARGE CRITICAL
PARALLEL IMPLEMENTATION
RUNTIME ERRORS
SPECIALIZED TOOL
STATIC ANALYZER
KEEPING ANALYSIS
ARITHMETIC OVERFLOWS

All Related Versions

Version 1, 2007-01-30, ArXiv
Published version: , 86.

This publication has 0 references indexed in Scilit: