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
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