Назначение разработки: Система предназначена для использования организациями, которые создают программное обеспечение для исследования агентов или процессов, взаимодействующих в среде, определяет и ограничивает эти взаимодействия.

Рекомендуемая область применения: Организации, которые создают программное обеспечение.

Техническая характеристика: Полнота верификации исследуемой системы, % ~ 100 Покрытие состояний исследуемой системы, % ~ 100 Покрытие трасс исследуемой системы, % ~ 100.

Преимущества перед аналогами: Не имеет аналогов в Украине. Существенным преимуществом над другими мировыми аналогами является эффективное применение символьного моделирования и теории предикатных преобразователей для обеспечения высокой полноты верификации и тестирования исследуемой программной системы.

Стадия готовности разработки: Внедрено в производство

Технико-экономический эффект: В 2-3 раза дешевле зарубежных аналогов.

Сведения о новизне разработки:
имеется патентов Украины -- 1 шт.

Результаты испытаний
Обеспечивает получение стабильных резуль

Возможность передачи за рубеж:
Совместное произв.,продажа, эксплуатация

Фотоприложение

Cтрана Украина

За дополнительной информацией обращайтесь:
E-mail: gal@uintei.kiev.ua