Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

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

Что: Лекция
Когда: Четверг, 11 марта 2021, 22:30–00:00
Где: Конференция в zoom, Онлайн

Описание

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

Видео

Другие материалы

Материалы в репозитории: https://github.com/anton-trunov/csclub-coq-course-spring-2021