The parallel implementation of the Astr\'ee static analyzer
<|reference_start|>The parallel implementation of the Astr\'ee static analyzer: 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.<|reference_end|>
@article{monniaux2007the,
    title={The parallel implementation of the Astr\'{e}e static analyzer},
    author={David Monniaux (LIENS)},
    journal={APLAS: Programming languages and systems (2005) 86-96},
    year={2007},
    doi={10.1007/11575467_7},
    archivePrefix={arXiv},
    eprint={cs/0701191},
    primaryClass={cs.PL cs.PF}
}