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

0

0

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

Ссылка

←	[emacs] чтение RSS

Centos создание пользователя

→

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

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

LamerOk ★★★★★
(10.06.10 00:52:59 MSD)

Ссылка

http://www.student.chalmers.se/sp/course?course_id=15215

mkmks
(10.06.10 01:00:25 MSD)

Ответ на: комментарий от mkmks 10.06.10 01:00:25 MSD

спасибо, но в немецком не ориентируюсь, можно ли сразу ссылку на лекции/презентации?

recon88 ★
(10.06.10 01:07:14 MSD) автор топика

Ответ на: комментарий от recon88 10.06.10 01:07:14 MSD

LOL, это шведский

anonymous
(10.06.10 04:26:49 MSD)

Ссылка

http://video.google.com/videoplay?docid=-1300223588197192900#

runtime ★★★★
(10.06.10 09:21:27 MSD)

Ответ на: комментарий от runtime 10.06.10 09:21:27 MSD

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

runtime ★★★★
(10.06.10 09:24:13 MSD)

Ссылка

http://yandex.ru/yandsearch?text=%D0%BA%D0%B0%D1%80%D0%BF%D0%BE%D0%B2%20%D0%B...

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

RUSDACent ★
(10.06.10 09:32:28 MSD)

Ответ на: комментарий от RUSDACent 10.06.10 09:32:28 MSD

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

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

Manhunt ★★★★★
(10.06.10 12:37:11 MSD)