інтернет-адреса сторінки:
http://jnas.nbuv.gov.ua/article/UJRN-0000468193
Кибернетика и системный анализ 
А - 2019 /
Випуск (2010, Т. 46, № 4)
Колчин А. В.
Автоматический метод динамического построения абстракций состояний формальной модели
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягнуто за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
Бібліографічний опис:
Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 70-90. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468193
PDF
Transliteration