In article ,
"Peter Duniho" wrote:
We are there now. We have the engineering know-how to produce
computer-flown airplanes, including solving all of the various redundancy
and system-isolation issues to address issues such as the one you think is a
problem.
What we don't have is the ability to formally prove the correctness of software.
(which is not to say that humans always are correct).
--
Bob Noel
no one likes an educated mule
|