Автоматический метод динамического построения абстракций состояний формальной модели
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання пере...
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| _version_ | 1862738993250041856 |
|---|---|
| author | Колчин, А.В. |
| author_facet | Колчин, А.В. |
| citation_txt | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T20:06:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45245 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T20:06:29Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Автоматический метод динамического построения абстракций состояний формальной модели Колчин, А.В. Кибернетика |
| title | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_alt | Автоматичний метод динамічної побудови абстракцій станів формальної моделі An automatic method for the dynamic construction of abstractions of states of a formal model |
| title_full | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_fullStr | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_full_unstemmed | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_short | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_sort | автоматический метод динамического построения абстракций состояний формальной модели |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45245 |
| 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 |