Введение в курс, основы функционального программирования в Coq

Пятница, 14 февраля 2020
Таймс, ауд. 410

Слайды с лекции

formal_verification_lecture_140220.pdf

Описание

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