Re: independent implementation is insufficient

[M. Lang & S. Railsback]

address@hidden wrote:
> 
> hi, all -
> 
> just a short comment -
> 
> it has been repeatedly shown that the n-versions style of program validation,
> of which independent implementation is a special case, does not work -
> independent implementations of difficult systems tend to make errors in the
> same places (though not necessarily the same errors) - i have no reference for
> this, but there is a book by nancy leveson, who showed this some years ago (so
> it is probably in her book)

Alex: Can you at least archive these messages where we can go through
them later? Or should I?

Steve
-- 
address@hidden
Lang, Railsback & Assoc.
250 California Ave., Arcata CA 95521
707-822-0453; Fax 822-1868


                  ==================================
   Swarm-Modelling is for discussion of Simulation and Modelling techniques
   esp. using Swarm.  For list administration needs (esp. [un]subscribing),
   please send a message to <address@hidden> with "help" in the
   body of the message.
                  ==================================