On Thu, Feb 01, 2007 at 03:43:04PM -0500, Jacques Carette wrote:
> Jean-Christophe Filliatre wrote:
> >There's a joke around in the formal methods community: ``would you
> >prefer to get on a plane whose software has been proved correct or
> >has been tested?''
> >  
> I heard, from someone working on an automated train system, that 
> everyone working on the system was required to be on the inaugural run 
> of said train.
> 
> I would trust such "people methods" even more than proof and testing!
> 
> Jacques

This reminds me of the Roman Empire system: the first person to cross
a new bridge was the engineer who built it!