Dieses Tool in anderen Sprachen:
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.
Neueste Kommentare
20.12.2022 von Robert Heine
14.08.2021 von Achim
03.02.2021 von Martin Varendorff
03.02.2021 von Martin Varendorff
12.11.2020 von Sarah