Организация базы знаний о переходах системы с атрибутами перечислимых типов

Abstract

Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.A method for building of a knowledge base about transitions of a system under modeling is suggested for solving a problem of detection acceptable transitions in symbolic model checking.Запропоновано метод побудови бази знань про переходи системи, що моделюється для вирішення проблеми визначення допустимості переходів у символьному моделюванні.