City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

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

What: Lecture
When: Thursday, 11 March 2021, 22:30–00:00
Where: Конференция в zoom, Онлайн

Description

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

Video

Other materials

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