[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Karel Gardas
Subject: Re: [Gnu-arch-users] more on the merge-fest
Date: Tue, 25 Nov 2003 21:57:15 +0100 (CET)

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 Gardas                  address@hidden
ObjectSecurity Ltd. 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]