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.11.2020 von test
24.11.2020 von test
24.11.2020 von test
12.11.2020 von Sarah
15.09.2020 von asd