imbus verwendet Cookies, um Ihnen einen besseren Service bieten zu können.

Durch die Nutzung unserer Website erklären Sie sich mit unserer Datenschutzrichtlinie einverstanden.

AbsInt Angewandte Informatik GmbH

Hersteller-Daten

Kontaktbild

AbsInt Angewandte Informatik GmbH

Science Park 1
66123 - Saarbrücken


Deutschland

E-Mail: Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!

Telefon: 0681 38360-0

Fax: 0681 38360-20

http://www.absint.de

Tools dieses Herstellers

1 2 3 4 5
Astrée – Laufzeitfehleranalyse

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, insbe­sondere in den Bereichen Transport, Medizintechnik, Nuklearanlagen, Luft- und Raumfahrt.

 

Weiterlesen