верификация, формальные методы, символьное моделирование, проверка моделей