Astrée Run-Time Error Analyzer

Dieses Tool in anderen Sprachen: en-GB

Beschreibung

Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.

Astrée analyzes structured C programs with complex memory usages, but without recursion or dynamic memory allocation. This targets embedded applications as found in earth trans­por­tation, nuclear energy, medical instrumentation, aeronautics and space flight, in particular syn­chro­nous control/command such as electric flight control.

Kategorien

Allgemein

Bewertung

1 2 3 4 5
Astrée Run-Time Error Analyzer
0.00 von 5 based on 0 ratings

Sie müssen eingeloggt sein, um diese Aktion ausführen zu können.

Abbruch

Hersteller

Kriterien:

Anbieter-Service

Client-OS

Installation

Lizenzmodell

Lokalisierung

Teststufe

Kommentare

Um Kommentare schreiben zu können, müssen Sie eingeloggt sein.

Keine Kommentare vorhanden