bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Tool title

Title of page above

Type

COTS

Owner/Source

AbsInt

Link

http://www.absint.com/astree/index.htm

Description

Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C. A static program analyzer for a restricted set of C programs, (no dynamic memory allocation and recursion). It was started as a research tool by Patrick and Radhia Cousot, and their research group, and is now commercialized by AbsInt.

User

TBD

SWE

SWE-135


  • No labels