AbsInt Angewandte Informatik GmbH, Саарбрюкен

Анализ WCET

Анализ стека

Astrée

ValueAnalyzer

Оптимизация кода

TimingExplorer

Визуализация графов

Статический анализ программ

© AbsInt. Юридическая информация.