DNS etc.

[Petr Novotny]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 10 Apr 00, at 12:15, Martin `MJ' Mares wrote:

>    Jiste, rozumi se to samo sebou, ale v RFC to explicitne receno
>    _NENI_,
> procez dukaz korektnosti vzhledem k RFC vubec nezarucuje korektnost
> takovou, jak je chapana intuitivne.

Ja jsem rikal, ze lze korektnost DNS implementace prokazat. Vy 
jste rikal, ze neni, o co se oprit. Ja na to, ze o RFC. Dobre, rikate, 
RFC neni postacujici. Dobre, tak tedy neni. Tak k tomu pribude 
jeste par dalsich podminek.

K cemu smeruji je, ze LZE dokazat spravnost programu. Program 
ma nejaky VSTUP a ma nejaky, na nem zavisejici VYSTUP. Toto 
prirazeni je jednoznacne (s prihlednutim na pripadnou modifikaci 
chovani obsluhou nebo generatorem nahodnych cisel) a nezavisle 
na zadnych dalsich (explicitne neuvazenych) parametrech.


"Inzenyrske" teorie o tom, ze teoreticke metody jsou naprd a v 
praxi se uvidi, jsou roztomily folklor...

-----BEGIN PGP SIGNATURE-----
Version: PGP 6.0.2 -- QDPGP 2.60 
Comment: http://community.wow.net/grt/qdpgp.html

iQA/AwUBOPGqo1MwP8g7qbw/EQKc9wCg5H6spe8QJGly6wpKQ6jM5/BoHMkAoOq0
a/Zc3RubWm7YHYT6Gic+XX8v
=Zryx
-----END PGP SIGNATURE-----
--
Petr Novotny, ANTEK CS
Petr.Novotny na antek.cz
http://www.antek.cz
PGP key ID: 0x3BA9BC3F
-- Don't you know there ain't no devil there's just God when he's drunk.
                                                             [Tom Waits]