From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: [OT] Spirit - Software failure
Date: 26 Jan 2004 18:46:10 -0500
Date: 2004-01-26T18:46:10-05:00 [thread overview]
Message-ID: <wccznca1dfh.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 40152073$0$322$e4fe514c@news.xs4all.nl
fdebruin <fdebruin@xs4all.nl> writes:
> In addition, with testing you can proof the presence of errors, but you
> cannot proof their absence.
With X, where X is any method whatsoever you can name, you can prove the
presence of errors, but you cannot prove their absence.
- Bob
next prev parent reply other threads:[~2004-01-26 23:46 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-01-26 10:15 [OT] Spirit - Software failure Jano
2004-01-26 10:42 ` Preben Randhol
2004-01-26 13:26 ` Larry Kilgallen
2004-01-26 13:57 ` Ludovic Brenta
2004-01-26 14:15 ` Preben Randhol
2004-01-26 23:17 ` Hyman Rosen
2004-01-27 0:40 ` Alexandre E. Kopilovitch
2004-01-26 14:13 ` fdebruin
2004-01-26 23:46 ` Robert A Duff [this message]
2004-01-27 4:24 ` Larry Kilgallen
2004-01-27 8:30 ` Stephen Leake
2004-01-27 10:59 ` Larry Kilgallen
2004-01-27 11:47 ` Preben Randhol
2004-01-27 12:30 ` Jeff C,
2004-01-27 12:41 ` Preben Randhol
2004-01-27 16:52 ` Hyman Rosen
2004-01-27 17:01 ` Preben Randhol
2004-01-27 13:53 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox