Lauterbach

Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeiten im Worst case. Eine neuartige Lösung von Lauterbach und AbsInt macht Laufzeitanalysen jetzt noch schneller und einfacher. […]