软件没bug很容易，刹车这么简单的逻辑上形式化验证系统很容易做到经过证明的绝对没bug。
硬件没逻辑上的bug跟软件本质上是一样的，但到了可靠性分析这里就都是概率。
而且很多事情跟你自己没啥关系，比如来个宇宙射线轰下？

【 在 FLYBBS 的大作中提到: 】
: 世界不光只有pc，还有很多没bug的软件与硬件。
--
FROM 180.98.133.*