The parallel implementation of the Astrée static analyzer

Details The parallel implementation of the Astrée static analyzer The parallel implementation of the Astrée static analyzer

2007-01-30

arxiv.org/abs/cs/0701191v1

APLAS: Programming languages and systems (2005) 86-96

Computer Science

Programming Languages

Scientific paper

10.1007/11575467_7

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.

Affiliated with

Also associated with

No associations

Rating

The parallel implementation of the Astrée static analyzer does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The parallel implementation of the Astrée static analyzer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The parallel implementation of the Astrée static analyzer will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-470282