Автоматический метод динамического построения абстракций состояний формальной модели
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання пере...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45245 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45245 |
|---|---|
| record_format |
dspace |
| spelling |
Колчин, А.В. 2013-06-10T16:26:33Z 2013-06-10T16:26:33Z 2010 Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45245 519.686.2 Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Автоматический метод динамического построения абстракций состояний формальной модели Автоматичний метод динамічної побудови абстракцій станів формальної моделі An automatic method for the dynamic construction of abstractions of states of a formal model Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Автоматический метод динамического построения абстракций состояний формальной модели |
| spellingShingle |
Автоматический метод динамического построения абстракций состояний формальной модели Колчин, А.В. Кибернетика |
| title_short |
Автоматический метод динамического построения абстракций состояний формальной модели |
| title_full |
Автоматический метод динамического построения абстракций состояний формальной модели |
| title_fullStr |
Автоматический метод динамического построения абстракций состояний формальной модели |
| title_full_unstemmed |
Автоматический метод динамического построения абстракций состояний формальной модели |
| title_sort |
автоматический метод динамического построения абстракций состояний формальной модели |
| author |
Колчин, А.В. |
| author_facet |
Колчин, А.В. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Автоматичний метод динамічної побудови абстракцій станів формальної моделі An automatic method for the dynamic construction of abstractions of states of a formal model |
| 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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45245 |
| citation_txt |
Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
| work_keys_str_mv |
AT kolčinav avtomatičeskiimetoddinamičeskogopostroeniâabstrakciisostoâniiformalʹnoimodeli AT kolčinav avtomatičniimetoddinamíčnoípobudoviabstrakcíistanívformalʹnoímodelí AT kolčinav anautomaticmethodforthedynamicconstructionofabstractionsofstatesofaformalmodel |
| first_indexed |
2025-12-07T20:06:29Z |
| last_indexed |
2025-12-07T20:06:29Z |
| _version_ |
1850881332179107840 |