10.02.2021
Here is release 2.5 with new possibilities for data-driven testing, among other things....
10.12.2020
Out now: Release 2.4 with data-driven testing extension! Imagine there are various data sets...
This email address is being protected from spambots. You need JavaScript enabled to view it.
0049-681-38360-0
0049-681-38360-20
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.
Read more