The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
仙丹难治没良心。
谚语
你怕的越多，欺负你的人就越多，你什么都不怕了，反倒没人敢欺负你。你人太好，大家就来占你便宜，你横一点，反倒可能都来讨好你。
佚名
I'm not a person who likes to be common.
我不是一个喜欢普通的人。
尤塞恩·博尔特
但问题是，即便对自己轻判，这种谴责和惩罚也可能伴随一生，变成无期徒刑。
罗伯特·戴博德
不管到了哪里，我都一直留恋那令人愉快的悠闲生活，对唾手可得的富贵荣华毫无兴趣，甚至厌恶。
卢梭
生逢盛世，我们享受着新时代的和平阳光，书写着新时代的奋斗华章。
《人民日报》
每个基因组都是独特的历史文献。
Every genome is a unique historical document.
斯万特·帕博
I'm not big on compromise. I understand compromise. Sometimes compromise is the right answer, but oftentimes compromise is the equivalent of defeat, and I don't like being defeated.
我不喜欢妥协。我明白有时妥协是正确的答案，但妥协通常相当于失败，我不喜欢被击败。
特朗普
个人的优点长处，不是用来傲慢的资本，而是成长的资源。目的：避免自卑，也让周围的人看到自己的长处，渲染幸福积极向上的生活氛围。这样的生活环境让人更加积极。
魏书生
读书须用意，一字值千金。
读书时刻苦用心，才能达到一字千金的层次。
周希陶
The only thing that I can say is I try to be a better player and a better person every day.
我唯一能说的是，我每天都在努力成为一个更好的球员和更好的人。
拉斐尔·纳达尔
情感的好处就是让我们引入歧途，而科学的好处是不感情用事。
王尔德
创业者需要具备‘逆周期’思维，在经济低谷时反而能找到更好的机会。
沈南鹏
无条件的责任感能赋予自己自主权，令你注重事态中你可以影响的那些方面。责任感并非内疚感。你对境遇的形成并无责任，但你有责任去面对自己的境遇。
弗雷德·考夫曼
没有知识的人总爱议论别人的无知， 知识丰富的人却时时发现自已的无知。
笛卡尔
无论出自纯粹理性的概念的可能性是什么样的一种情况，这些概念都毕竟不是反思得来的、而是推论得来的概念。
康德
我们于日用必需的东西以外，必须还有一点无用的游戏与享乐，生活才觉得有意思。我们看夕阳，看秋河，看花，听雨，闻香，喝不求解渴的酒，吃不求饱的点心，都是生活上必要的--虽然是无用的装点，而且是愈精炼愈好。
周作人
狂热的爱欲会让女孩子走上邪路。
贝蒂·史密斯
人是活宝，钱是死宝。
萧伯纳