Coq
Материал из DISCOPAL
Версия от 11:35, 13 октября 2020; StasFomin (обсуждение | вклад)
- Заголовок
- Coq
- Автор
- Стас Фомин
- Нижний колонтитул
- Coq
- Дополнительный нижний колонтитул
- Стас Фомин, 08:46, 10 ноября 2020
Ссылки
- «Введение в верификацию программ»
- 2020-10-13, 14:31:27: vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.
- Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.
- 2020-10-13, 14:10:16: The Science of Deep Specification
- 2020-10-13, 14:06:36: engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures
- 2020-10-13, 14:00:10: «Введение в верификацию программ» - YouTube
- 2020-10-13, 13:54:55: jsCoq – Use Coq in Your Browser
- 2020-10-13, 02:40:51: Введение в язык формальной верификации Coq, осень 2019
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.