Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Колчин, А. В.; Летичевский, А. А.; Потиенко, С. В.


	Наукова періодика України		Проблеми програмування

Колчин А. В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19

Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а также гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при этом не строит пространство ее состояний.

Повний текст PDF - 405.672 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Колчин А.

Летичевский А.

Потиенко С.

Бібліографічний опис для цитування:

Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / А. В. Колчин, А. А. Летичевский, С. В. Потиенко // Проблеми програмування. - 2014. - № 2-3. - С. 146-150. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2014_2-3_19.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Колчин Олександр Валентинович (фізико-математичні науки)

Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача