Обзор современных систем и методов верификации формальных моделей

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


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

Колчин А. В.
Обзор современных систем и методов верификации формальных моделей / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9

Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.

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

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

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

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

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

Колчин А. В. Обзор современных систем и методов верификации формальных моделей / А. В. Колчин, А. А. Летичевский, С. В. Потиенко, В. С. Песчаненко // Проблеми програмування. - 2012. - № 4. - С. 75-88. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2012_4_9.

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

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

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

Песчаненко Володимир Сергійович (фізико-математичні науки)

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

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

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