Краткое описание
Краткое описание продукта
Crusher — это комплекс для динамического анализа ПО, сочетающий фаззинг-тестирование и автоматическую генерацию тестов для повышения безопасности и качества программных систем.
LogicEditor — это инструмент для генерации кода С++ из XML-описаний автоматов и объектов ТПО УВК в системах ЖАТ.