AbsInt Angewandte Informatik GmbH

AbsInt Angewandte Informatik GmbH AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Der heutige Markt für eingebettete Systeme wird durch ständig wachsende Softwarekomplexität und immer kürzere Entwicklungszyklen geprägt. Der Anteil...