Потиенко С. В. Статическая проверка требований и подходы к решению проблемы достижимости / С. В. Потиенко // Искусств. интеллект. - 2009. - № 1. - С. 192-197. - Библиогр.: 7 назв. - рус.Предложен метод статического анализа систем, представленных в формализме базовых протоколов. Построены алгоритмы проверки таких свойств систем, как непротиворечивость и полнота, а также выполнимость условий целостности. Рассмотрена проблема выявления и достижимости состояний системы, в которых нарушаются заданные свойства. Предложены подходы к решению проблемы достижимости с помощью методов как статического анализа, так и проверки на модели. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|