Coq — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| (не показаны 3 промежуточные версии этого же участника) | |||
| Строка 5: | Строка 5: | ||
=== Ссылки === | === Ссылки === | ||
* «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию программ]» | * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию программ]» | ||
| + | ** https://github.com/anton-trunov/coq-lecture-notes | ||
| + | |||
| + | * https://intuit.ru/studies/courses/3520/762/info | ||
| + | |||
| + | |||
* [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.] ''Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.'' | * [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.] ''Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.'' | ||
* [https://deepspec.org/main The Science of Deep Specification] | * [https://deepspec.org/main The Science of Deep Specification] | ||
| Строка 11: | Строка 16: | ||
* [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser] | * [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser] | ||
* [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019] | * [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019] | ||
| + | * https://math-comp.github.io/mcb/book.pdf | ||
| + | * https://ilyasergey.net/pnp/ | ||
Текущая версия на 08:46, 10 ноября 2020
- Заголовок
- Coq
- Автор
- Стас Фомин
- Нижний колонтитул
- Coq
- Дополнительный нижний колонтитул
- Стас Фомин, 08:46, 10 ноября 2020
Ссылки
- 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/