AstraVer Toolset

система дедуктивной верификации ключевых компонентов

Klever

система верификации моделей

Masiw

набор инструментов для разработки программно-аппаратных комплексов

MicroTESK

среда генерации тестовых программ

Retrascope

инструмент функциональной верификации модулей цифровой аппаратуры