Формальная верификация программы
- From
- Daniil Uspensky (2:5030/1551.7)
- To
- All
- Date
- 2002-12-29T22:58:54Z
- Area
- RU.ALGORITHMS
Hello All! Где можно прочитать про сабж (аксиомы Хоара и примера доказательства программ)? Особенно интересует верификация программ на Паскале. Daniil --- GoldED+ 1.1.4.7 (Linux 2.4.20 i486) [Windows Registered User #9267340986] * Origin: Powered by Linux (2:5030/1551.7)