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 transportation, nuclear energy, medical instrumentation, aeronautics and space flight, in particular synchronous control/command such as electric flight control.
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Deutschland
0049-681-38360-0
Current Comments
10.12.2020 by tongmengli
Error linking to ...
28.05.2020 by Henning Femmer
26.02.2020 by Dirk O. Schweier
28.03.2018 by Daniel
09.12.2017 by Bert