[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
--
Karel Gardas address@hidden
ObjectSecurity Ltd. http://www.objectsecurity.com
- [Gnu-arch-users] more on the merge-fest, Tom Lord, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, zander, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Mark Thomas, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Tom Lord, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Tom Lord, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest,
Karel Gardas <=
- Re: [Gnu-arch-users] more on the merge-fest, Andrew Suffield, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Stephen J. Turnbull, 2003/11/25
Re: [Gnu-arch-users] more on the merge-fest, Florian Weimer, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Samuel A. Falvo II, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Andrew Suffield, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Charles Duffy, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Samuel A. Falvo II, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Andrew Suffield, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Samuel A. Falvo II, 2003/11/25
- Re: [Gnu-arch-users] more on the merge-fest, Andrew Suffield, 2003/11/26