Разработчикам встраиваемых приложений и систем реального времени мы предоставляем широкий спектр услуг по статическому анализу, формальной верификации, оптимизации и сертификации критически важного ПО.
У нас работают специалисты со стажем в 15–25 лет. В число наших клиентов входят крупнейшие фирмы и госучреждения из десятков стран мира и из самых различных областей, включая автопром, железнодорожное машиностроение, медицинскую инженерию, авиастроение, космонавтику, энергоснабжение, ядерную энергетику и оборону.
По всем вопросам пишите на адрес info@absint.com либо же подходите к нашему стенду на одной из ближайших выставок и конференций.