JetBrains Research — наука, меняющая мир

Семинар по интерполяции Крейга

Доклад будет посвящен понятию интерполяции Крейга в логике первого порядка. Будет затронуто приложение интарполяции к формальной верификации программ; в частности, будет рассказано об использовании интерполянтов для вывода индуктивных инвариантов и резюмированию функций. Также будет кратко рассказано про методы построения интерполянтов.

Докладчик: Михаил Костицын

17.12.2018, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28