The challenge in model checking is not just to find errors, but to understand why they occur.

一个人对自己的态度是过上长寿且相对幸福生活的最重要因素。

The most beautiful as well as the most ugly inclinations of man are not part of a fixed biologically given nature, but result from the social process which creates man.

我喜欢在最高水平比赛的压力。

伟大的公司建立在伟大的文化之上，而不仅仅是伟大的产品。

诗是一种理解世界的方式，而不仅仅是解释它。

想想在“算法”和“程序”之间寻求根本区别所花费的所有精神能量。