Re: [Gnu-arch-users] more on the merge-fest

[Karel Gardas]

On Tue, 25 Nov 2003, Tom Lord wrote:

> In the extreme: screw sticking to just tests -- separately write the
> program multiple times and run them in parallel.  I've heard that this
> is an approach frequently used in spacecraft and other rockets -- and
> those things hardly _ever_ fail :-)

Or do formal verification of the code in question. Such code then also
hardly fail (of course in case of succesfull verification) :-)

Karel
--
Karel Gardas                  address@hidden
ObjectSecurity Ltd.           http://www.objectsecurity.com