DNS etc.

[Martin `MJ' Mares]

Zdravim!

> >    Spravnost dokazujete vzdy vzhledem k nejake formalni specifikaci,
> > ale tato specifikace je vlastne take sveho druhu program, takze muze
> > byt rovnez spatne. A kdo dokaze spravnost specifikace?
> 
> RFC je axiom. :-)

   A ze jsem tak smely, zakazuje RFC, aby v DNS serveru byl buffer overrun?
Myslim, ze nikoliv, takze dokazovani korektnosti vzhledem k RFC nebude tim
pravym testem.

				Have a nice fortnight
-- 
Martin `MJ' Mares   <mj na ucw.cz>   http://atrey.karlin.mff.cuni.cz/~mj/
Faculty of Math and Physics, Charles University, Prague, Czech Rep., Earth
"The number of UNIX installations has grown to 10, with more expected.  (6/72)"