The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我爱你的很多方面，但尤其爱这一点——你幸福的脸庞和总能扰得我心旌的生命的光彩。
加缪
生命是自然界中最复杂的自组织系统。
埃尔温·薛定谔
厉直刚毅，材在矫正，失在激讦。
刘劭
在没有参加这个节目之前，我不是在追梦，我一直在做的事就是为了生活去努力……当你生活都没有被满足的时候，你可能就不会想那么多。
杨超越
诞生在一个荒谬的世界上的人的唯一真正的职责是活下去，是意识到自己的生命、自己的反抗、自己的自由。
加缪
终身的生涯，是在万顷的柔波之上。
冰心
伟大的领导者倾听多于发言。
Great leaders listen more than they speak.
保罗·布朗
现代科学是满足人类需求的催化剂。我们必须确保它惠及穷人中的最穷人。
纳伦德拉·莫迪
每个人是每个人的过客，和谁都不可能比肩同行一辈子，再见就再见吧。
大冰
教育的目的，不仅是传授知识，更要培养人格。
张伯苓
越是看惯了的东西，便越是习焉不察，美丑都难看出。
季羡林
有些人认为私营企业是该枪毙的老虎。有人以为私营企业是能取奶的母牛。很少有人看到它的真面目:拖着车的老马。
丘吉尔
我送他最好的祝愿，真的。我只是觉得他和微软稍微有点狭隘。如果在他年轻的时候，他能试一试迷幻药或者去贫民窟（看看），他会变成一个视野更广阔的人。
史蒂夫·乔布斯
在美国，甚至连苍蝇都在赶时间。
卡勒德·胡赛尼
春如旧，人空瘦，泪痕红浥鲛绡透。
陆游
法律必须被信仰，否则它将形同虚设。
李德顺
我们手里的金钱是保持自由的工具，而追逐的金钱则是使自己受奴役的工具。
卢梭
金钱从来不会捉弄人，它只是使他们变得显赫。
Money never made a fool of anybody;it only shows them up.
阿尔伯特·哈伯德
生活是世界上最罕见的事情。大多数人只是存在，仅此而已。
To live is the rarest thing in the world. Most people exist, that is all.
安德鲁·米勒