Может ли кто-то подсказать хорошие ресурсы по верификации программ. Сейчас изучаю все преимущественно по статьям(логика хоара, изоморфизм кари-говарда, теория типов). Однако целостного понимания нет. Интетересует вся эта информация в целостном виде(что-то вроде универского курса), и еще желательно с примерами применения, а то понимаешь что это такое, а как воспользоваться - не знаеш.


Ответ на:
комментарий
от mkmks

Ответ на:
комментарий
от recon88


Ответ на:
комментарий
от runtime


Ответ на:
комментарий
от RUSDACent

Ответ на:
комментарий
от RUSDACent

Ответ на:
комментарий
от Manhunt

Ответ на:
комментарий
от recon88

Ответ на:
комментарий
от RUSDACent

Ответ на:
ОтЪ. Все что нашел.
от RUSDACent

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум Верификация данных (2012)
- Форум Формальная верификация (2013)
- Форум верификация алгоритма (2014)
- Форум Верификация данных (2008)
- Форум верификация конфига ядра (2015)
- Форум Верификация на mtgox (2013)
- Форум ПП верификации тред (2020)
- Форум Верификация DKIM входящей почты (2016)
- Форум Верификация подписи запускаемого бинаря (2020)
- Форум Верификация динамически загружаемой библиотеки (2019)