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

В настоящей статье предложен вариант использования аппарата временных логик и верификаторов моделей в задаче контроля отклонений сложной информационной системы от “нормального” поведения, а также алгоритм слепого поиска закономерностей “черного ящика”, представимых в рамках формализма временных логик.