Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.
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.
Запропоновано метод побудови бази знань про переходи системи, що моделюється для вирішення проблеми визначення допустимості переходів у символьному моделюванні.