Автоматический метод динамического построения абстракций состояний формальной модели
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Автоматический метод динамического построения абстракций состояний формальной модели
|
|
Creator |
Колчин, А.В.
|
|
Subject |
Кибернетика
|
|
Description |
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
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. |
|
Date |
2013-06-10T16:26:33Z
2013-06-10T16:26:33Z 2010 |
|
Type |
Article
|
|
Identifier |
Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45245 519.686.2 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|