Призначення розробки: Система призначена для використання організаціями, які створюють програмне забезпечення для дослідження агентів або процесів, що взаємодіють у середовищі, яке визначає та обмежує ці взаємодії.

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

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

Переваги перед аналогами: Не має аналогів в Україні. Суттєвою перевагою над іншими світовими аналогами є ефективне застосування символьного моделювання та теорії предикатних перетворювачів для забезпечення високої повноти верифікації та тестування досліджуваної програмної системи.

Стадія завершеності розробки: Впроваджено в виробництво

Техніко-економічний ефект: У 2-3 рази дешевша від закордонних аналогів.

Відомості про новизну розробки:
є патентів України -- 1 шт.

Результати дослiджень
Забезпечує отримання стабільних результ

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

Фотодоповнення

Країна Україна

Для отримання додаткової інформації звертайтесь::
E-mail: gal@uintei.kiev.ua