nasa

NASA 同时运行了 27 份相同的程序。Bug 们抱团投票。

N-version programming 曾承诺独立团队会犯独立的错误。Knight 和 Leveson 在 1986 年的实验证明了相反的事实，NASA 悄然放弃了这条路线。