Coq — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 5: | Строка 5: | ||
=== Ссылки === | === Ссылки === | ||
* «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию программ]» | * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию программ]» | ||
| + | * 2020-10-13, 14:31:27: [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.] | ||
| + | *: <html>Обзорный курс по model-checking/model-finding, читаемый осенью 2020 для студентов 2-го курса МФТИ.</html> | ||
| + | <!-- NEXT BOOKMARK --> | ||
| + | * 2020-10-13, 14:10:16: [https://deepspec.org/main The Science of Deep Specification] | ||
| + | * 2020-10-13, 14:06:36: [https://github.com/vasil-sd/engineering-sw-hw-model-checking-letures/blob/master/Lecture1.pdf engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures] | ||
| + | * 2020-10-13, 14:00:10: [https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY «Введение в верификацию программ» - YouTube] | ||
| + | * 2020-10-13, 13:54:55: [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser] | ||
| + | * 2020-10-13, 02:40:51: [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019] | ||
Версия 11:35, 13 октября 2020
- Заголовок
- 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