Der Blätterkatalog benötigt Javascript.
Bitte aktivieren Sie Javascript in Ihren Browser-Einstellungen.
The Blätterkatalog requires Javascript.
Please activate Javascript in your browser settings.
www AbsInt com bi eh l-W Ade Sichere statische Quellcodeanalyse mit Astrée + Garantierte Erkennung aller Laufzeitfehler Datenwettläufe Deadlocks + Software-Architekturanalyse + Sichere Datenund Kontrollflussanalyse + Freedom of Interference + Prüfung von Codierrichtlinien Nie mehr Stacküberlauf + garantiert durch StackAnalyzer Nachweis von Echtzeitanforderungen mit aiT oder TimeWeaver auch für Ihren Prozessor Fehlerfreie Compilierung mit dem CompCert-Compiler Automatische Tool-Qualifizierung Immer auf der sicheren Seite AbsInt Angewandte Informatik GmbH Science Park 1 66123 Saarbrücken 0681 383 600 info@absint com Sa f e t y a n d Ef f i c i e n c y IEC 62304 DO-178C DO-356A ISO 26262 ISO 21434 IEC 61508 IEC 60880 EN 50716