LINUX.ORG.RU
Форум — Development  

Верификация программ


0

0

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

★

Последнее исправление: recon88 (всего исправлений: 1)

> понимаеш что это такое, а как воспользоваться - не знаеш

Советую начать с верификации своих постов. Спеллчекером.

LamerOk ★★★★★
()
Ответ на: комментарий от runtime

Если надо, то у меня ещё где то валялась ссылка на файлы презентации из этих лекций, но это нужно искать.

runtime ★★★★
()
Ответ на: комментарий от RUSDACent

> Где то есть презентации с его лекций, но это надо мне порыться на винте.

Я бы с удовольствием посмотрел. Будет лишнее время - выложи, пожалуйста.

Manhunt ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Development