[rescue] Getting steadily further from [intended epithet] rescue
alaric at caerllewys.net
Wed Oct 1 16:06:41 CDT 2003
On Wed, Oct 01, 2003 at 03:32:35PM -0500, Paul wrote:
> Ok, I gotta ask....was the proving FOR the viper done ON the viper? :)
I don't recall what they used for the proof of correctness; I just know
they did not use anything for the proof that they could not guarantee to
have no flaws. There was a LOT of handwork involved, and checking and
re-checking and re-checking again. I think it took them several years
just to prove the correctness of the design.
.********* Fight Back! It may not be just YOUR life at risk. *********.
: phil stracchino : unix ronin : renaissance man : mystic zen biker geek :
: alaric at caerllewys.net : alaric-ruthven at earthlink.net : phil at latt.net :
: 2000 CBR929RR, 1991 VFR750F3 (foully murdered), 1986 VF500F (sold) :
: Linux Now! ...Because friends don't let friends use Microsoft. :
More information about the rescue