AbsInt Angewandte Informatik GmbH bietet innovative Tools und Dienstleistungen auf dem Gebiet der statischen Programmanalyse und -optimierung
aiT Worst-Case Execution Time Analyzer berechnet korrekte und präzise obere Schranken für die längstmögliche Ausführungs…