Coq

Slide Show

Заголовок

Coq

Автор

Стас Фомин

Нижний колонтитул

Coq

Дополнительный нижний колонтитул

Стас Фомин, 08:46, 10 ноября 2020

Ссылки

• «Введение в верификацию программ»
  • https://github.com/anton-trunov/coq-lecture-notes

• https://intuit.ru/studies/courses/3520/762/info

• vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking. Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.
• The Science of Deep Specification
• engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures
• «Введение в верификацию программ» - YouTube
• jsCoq – Use Coq in Your Browser
• Введение в язык формальной верификации Coq, осень 2019
• https://math-comp.github.io/mcb/book.pdf
• https://ilyasergey.net/pnp/

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.