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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2010, том 46
→
Кибернетика и системный анализ, 2010, № 4
→
Переглянути статтю

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

Інші назви: Автоматичний метод динамічної побудови абстракцій станів формальної моделі
An automatic method for the dynamic construction of abstractions of states of a formal model

Тема: Кибернетика

УДК: 519.686.2

URI: http://dspace.nbuv.gov.ua/handle/123456789/45245

Посилання: Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос.

Дата: 2010

Завантажень: 562

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

Анотація:

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

A method for constructing abstractions to improve the efficiency of checking formal models is described. The state equivalence relation is weakened by ignoring insignificant values of the attributes. Experimental results demonstrate, by way of examples, that verification complexity decreases from exponential to polynomial.

Показати повний запис статті