AbsInt Angewandte Informatik GmbH ist ein kleines Unternehmen, das Software zur Analyse und Verifikation von sicherheitskritischen eingebetteten Systemen anbietet. Der Firmenname ist ein Kurzwort für "Abstrakte Interpretation", eine Methode zur statischen Analyse von Software, deren Ergebnisse für alle Programmläufe mit allen möglichen Eingaben gültig sind.

Zu AbsInts Produkten gehören verschiedene Werkzeuge, die statische Programmanalyse mit Hilfe abstrakter Interpretation durchführen. Der Laufzeitanalysator aiT berechnet automatisch korrekte und enge obere Schranken für die Ausführungszeiten von Tasks in einem Echtzeitsystem. Es analysiert unmittelbar die ausführbaren Binärdateien des Systems und berücksichtigt dessen Cache- und Pipeline-Verhalten.

Das Astrée-Werkzeug findet Laufzeitfehler in C-Programmen wie z.B. Division durch Null, arithmetische Überläufe und Feldzugriffe außerhalb der Feldgrenzen. Es kann auch verwendet werden, um die Einhaltung von Programmierrichtlinien wie z.B. MISRA-C zu überprüfen. Astrée ist so ausgelegt, dass es garantiert alle Fehler aus den behandelten Fehlerklassen findet. Wenn es keine findet, ist daher bewiesen, dass es keine gibt.

Zu den Kunden von AbsInt gehören große Unternehmen mit sicherheitskritischen Anwendungen aus dem Bereich der Luftfahrt- und Automobilindustrie, wie Daimler, Bosch, Siemens, Infineon, EADS und Airbus. Die Kunden kommen aus mehr als vierzig Ländern weltweit, darunter USA, Kanada, Russland, Japan, Australien und fast alle EU-Mitgliedsstaaten.