Наукова періодика України | Проблеми програмування | ||
Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19 Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний. Цитованість авторів публікації: Бібліографічний опис для цитування: Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |