Informations-Portal über das internationale Marktangebot im Bereich Softwaretest-Werkzeuge
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
24.07.2018 von imbus AG
12.10.2017 von james
26.05.2016 von Bosch
09.05.2016 von Robert Heine