Автоматический метод динамического построения абстракций состояний формальной модели / Колчин А. В. (2010)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000468193
  Cybernetics and Systems Analysis      А - 2019  /     Issue (2010, Т. 46, № 4)

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

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

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

English  Cybernetics and Systems Analysis   /     Issue (2010, 46 (4))

translit Transliteration

Kolchin A. V.
Avtomaticheskij metod dinamicheskogo postroenija abstraktsij sostojanij formalnoj modeli

Cite:
Kolchin, A. V. (2010). Avtomaticheskij metod dinamicheskogo postroenija abstraktsij sostojanij formalnoj modeli. Cybernetics and Systems Analysis, 46 (4), 70-90 http://jnas.nbuv.gov.ua/article/UJRN-0000468193 [In Russian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209