Аннотация:В данной работе рассматриваются алгоритмы формальной верифика- ции искусственных нейронных сетей (ИНС), оценивается их применимость для верификации ИНС, имеющих реальные приложения, исследуются мето- ды сертификационного обучения ИНС на основе этих алгоритмов. В работе вводится формальная постановка задачи верификации и необходимый мате- матический аппарат.