Описание:Курс представляет собой введение в дедуктивные методы формальной верификации. В нем рассматриваются практические аспекты описания формальной семантики программ и языков программирования, а также формальной верификации функциональных свойств программ, включая обзор результатов современных проектов по верификации сложных программных продуктов. Курс читается на английском языке.