The goal of engineering is not just to build things but to build things that work well under uncertainty.
工程的目标不仅仅是建造东西,而是建造在不确定性下运作良好的东西。
科学的进步不仅依赖于个人的才华,也依赖于集体的努力。
Persistence in research often pays off when you least expect it.
Even if I knew that tomorrow the world would go to pieces, I would still plant my apple tree.
作家是一个精神上的无政府主义者,就像每个人灵魂深处都是。他对一切和每个人都感到不满。作家是每个人的替罪羊,也是每个人的先知。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。