Dieses Tool in anderen Sprachen:
Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft.
Astrée analysiert handgeschriebene oder automatisch erzeugte C-Programme mit komplexer Speichernutzung, aber ohne Rekursion oder dynamische Speicherallokation. Damit bietet sich Astrée vor allem zur Analyse von sicherheitskritischen eingebetteten Anwendungen an, insbesondere in den Bereichen Transport, Medizintechnik, Nuklearanlagen, Luft- und Raumfahrt.
AbsInt Angewandte Informatik GmbH
Science Park 1
66123 Saarbrücken
Deutschland
0681 38360-0
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