Re: Формальная верификация программы

From

Mikhail Edoshin ()

To

Daniil Uspensky

Date

2003-01-07T17:50:55Z

Area

RU.ALGORITHMS

From: Mikhail Edoshin <m.edoshin@vologda.ru>

Hi, Daniil Uspensky:

> Где можно прочитать про сабж (аксиомы Хоара и примера доказательства
> программ)?

Краткое, но достаточное изложение есть у Турского в "Методологии
программирования", 1981.

-- 
Михаил Едошин
m.edoshin@vologda.ru


Отправлено через сервер Форумы@mail.ru - http://talk.mail.ru
--- ifmail v.2.15dev5
 * Origin: Talk.Mail.Ru (2:5020/400)