Шукати за:
Роком видання
Автором
Назвою статті
Автоматичний метод оперативної побудови абстракцій при верифікації формальних моделей асинхронних систем
Повний текст (PDF)
УДК: 519.686.2
Мова публікації: Російська
Stuc. intelekt. 2008; 13; (3): 690-705
Анотація: Запропоновано метод побудови точних абстракцій «на льоту» та його використання у верифікації формальних моделей. Метод заснований на тому, що кожний пройдений стан моделі характеризується неповним набором атрибутів, при цьому досягається суттєве скорочення числа станів необхідних для аналізу моделі, що верифікується. Описано основні алгоритми побудови абстракцій, ефективність використання проілюстровано на прикладах. Наведено необхідні розширення для перевірки темпоральних властивостей.
Ключові слова:
Посилання:
Переглянути повний текст статті (PDF)