Аэробус использует айТи, СтекАналайзер, Астрé и КомпСерт при разработке систем управления полётом нескольких семейств самолётов, в том числе крупнейшего в мире авиалайнера A380.
Бош применяет наши статические анализаторы в процессах разработки и верификации различных автомобильных систем — в частности, систем рулевого управления.
Ведущий в мире производитель ветрогенераторов Вестас использует СтекАналайзер и айТи для статического анализа времени выполнения и потребления стека при разработке систем управления ветрогенераторами.
Даймлер использует айТи и СтекАналайзер в различнейших проектах, в том числе при разработке блока управления обменом сообщениями седельных тягачей «Актрос».
Дисталмоушн использует РулЧекер в повседневном процессе разработки систем управления медицинской техникой, в том числе хирургическими роботами.
ЕКА использовало Астрé для доказания отсутствия ошибок времени выполнения в системе автоматической стыковки грузового космического корабля «Жюль Верн», впоследствии доставившего полезные грузы на МКС.
Уже в течение многих лет Континенталь доверяет нам статический анализ своих систем управления подушками безопасности для доказательства отсутствия в них переполнений стека.
МТУ использует КомпСерт, Астрé, РулЧекер, айТи и СтекАналайзер для доказания корректности действия систем управления аварийными генераторами на АЭС.
МакОбжект использует РулЧекер при разработке eXtremeDB, первой в мире встраиваемой базы данных, соответствующей нормам MISRA.
НАСА использовало айТи для доказательства отсутствия временны́х дефектов в ПО Тойоты в ходе расследования случаев внезапного ускорения в 2010 году.
ОХБ применяет айТи и СтекАналайзер при разработке кода для спутниковых систем навигации и связи.
Фраматом использует СтекАналайзер и Астрé для верификации систем управления ядерными реакторами.
Хонда использует айТи, СтекАналайзер и ВэльюАналайзер при разработке электронно-цифровых систем управления двигателем с полной ответственностью.
Прочие клиенты
