Astrée Run-Time Error Analyzer

This tool in other languages: de-DE

Description

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.

Categories

General

Rating

1 2 3 4 5
Astrée Run-Time Error Analyzer
AbsInt Angewandte Informatik GmbH https://www.testtoolreview.de/images/hersteller/hersteller_id_199_image.jpg info@absint.com 0049-681-38360-0 0049-681-38360-20
Science Park 1 66123 Saarbrücken Deutschland
0.00 von 5 based on 0 ratings

You have to be logged in to execute this action.

Cancel

Manufacturer

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Deutschland

0049-681-38360-0

http://www.absint.com

Criteria:

client OS

installation

license model

localisation

provider service

test level

Comments

To write a comment, you need to be logged in.

There are no comments