模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
社交场中的闲逸令人厌恶，因为它是被迫的；孤独中的闲逸是愉快的，因为它是自由的。
卢梭名人名言哲理格言警句语录 卢梭
她站起来，提了大草帽的缨，仿佛希腊的打猎女神提着盾牌。
钱钟书名人名言哲理格言警句语录 钱钟书
自然法则支配着一切。
Natural laws govern everything.
阿那克西曼德名人名言哲理格言警句语录 阿那克西曼德
事无终始，无务多业。
办一件事都不能善始善终，就不要做很多事。 
墨子名人名言哲理格言警句语录 墨子
心有其理，理性难明。
"The heart has its reasons which reason knows not."
莫妮克·罗菲名人名言哲理格言警句语录 莫妮克·罗菲
能把自己生命的终点和起点联结起来的人，是最幸福的人。就会感到自己是自由的。
歌德名人名言哲理格言警句语录 歌德
英雄一去豪华尽，唯有青山似洛中。
许浑名人名言哲理格言警句语录 许浑
不论是多情的诗句，漂亮的文章，还是闲暇的欢乐，什么都不能代替无比亲密的友情。
普希金名人名言哲理格言警句语录 普希金
腰有十文钱，必振衣作响。每语人言，必谈及贵戚。遇美人，则急索登床。见问路之人，必作傲睨之态。
林语堂名人名言哲理格言警句语录 林语堂
从应该到达的未来的某一点倒算→评估自己现有的能力→再考虑用何种方法提高自己的能力。
稻盛和夫名人名言哲理格言警句语录 稻盛和夫
作家必须永远充满疑问。如果他以为自己知道了所有的答案，那么他就不是一个真正的作家。
艾萨克·辛格名人名言哲理格言警句语录 艾萨克·辛格
恶人作恶时，总是以救赎者的名义。
毛姆名人名言哲理格言警句语录 毛姆
Understanding nature’s complexity is the ultimate challenge.
理解自然的复杂性是终极挑战。
路易斯·布鲁斯名人名言哲理格言警句语录 路易斯·布鲁斯
独立思考并挑战你的假设，尤其是那些你最坚信的。
瑞·达利欧名人名言哲理格言警句语录 瑞·达利欧
时光是风，自死亡的方向吹来。 孤独是一座花园，但其中只有一棵树。 爱是我们往昔的脚步，往昔是我们将至的尘土。
阿多尼斯名人名言哲理格言警句语录 阿多尼斯
当然，我们并不是与世隔绝，我们活在思想和对话中，因此活在世界的中心，只不过是在另一块土地上，我们和大多数人之间并没有泾渭分明的区别，我们只是用另一种目光看世界。我们的任务是在世界上建起一个岛屿，或是一个榜样，总之是推出另一种生存的可能性。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞
世界以痛吻我，我却报之以歌。
泰戈尔名人名言哲理格言警句语录 泰戈尔
成功是一个差劲的老师，它诱使聪明人认为他们不会输。
比尔·盖茨名人名言哲理格言警句语录 比尔·盖茨
有勇气并不表示恐惧不存在，而是敢面对恐惧、克服恐惧。
李嘉诚名人名言哲理格言警句语录 李嘉诚