Автоматический метод динамического построения абстракций состояний формальной модели

Колчин, А. В.


	Наукова періодика України		Кібернетика та системний аналіз

Колчин А. В.
Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 70-90. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_8

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

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

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

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

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

Колчин А.

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

Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 70-90. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_8.

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

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

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

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

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