The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
一旦法律丧失了力量，一切就都告绝望了；只要法律不再有力量，一切合法的东西也都不会再有力量。
卢梭
两脚踏东西文化，一心评宇宙文章
林语堂
在黑暗中行走的人，往往比光明中的人更清楚方向。
周浩晖
世界观并不仅仅是一些分离、独立、不相关的观点的集合，而是一个不同观点相互交织、相互关联、相互联结的体系。
理查德·德威特
我们希望儿童从他自己心中“发展”出这个或那个事实或真理。我们叫他自己思维，自己创造，而不提供发动并指导思想所必需的任何周围环境的条件。没有一个东西能够从无中发展出来，从粗糙的东西发展出来的只能是粗糙的东西……发展并不是指仅仅从心灵里获得某些东西的意思。它是经验的发展，发展成真正需要的经验。
杜威
君不见奸雄恶少椎肥牛，董生著书番见收。鸿鹄不如黄雀啅，撼树往往遭蚍蜉，我今何言君且休。
李梦阳
没有幽默滋润的国民，其文化必日趋虚伪，生活必日趋欺诈， 思想必日趋迂腐，文学必日趋干枯，而人的心灵必日趋顽固。
林语堂
在这广漠的人海里独自混了二十多年，没有一个人管束过我。如果我学得一丝一毫的好脾气，如果我学得了一点点待人接物的和气，如果我能宽恕人，体谅人，--我都得感谢我的慈母。
胡适
静默：与人无益者不言，禁琐屑之谈。
富兰克林
完全不谈自我是一种甚为高贵的虚伪。
尼采
能够慢慢培养的不是爱情，而是习惯。能够随着时间得到的，不是感情而是感动。所以爱是一瞬间的礼物，有就有，没有就没有。但反过来说，爱和婚姻实际并不是一回事情，并不是所有的爱情都要结婚的，也不是所有婚姻都有爱情的。
莫言
一个幸福的人，首先要填饱肚皮，然后是穿得漂漂亮亮的。这便是他们最坚信念了。
司汤达
现在你何不问问自己：“我到底在烦恼些什么呢？”你多半会发现，你所担心的事既不重要，也没有意义。
卡耐基
做最好的自己，不要做别人的影子。
李开复
我的文字昨天令你感到新奇，今天令你感到亲切，明天会不会令你感到厌倦？
周国平
"We are all haunted by the past, and the past is always present."
我们都被过去所困扰，过去总是存在的。
安妮·恩莱特
在现实生活中，你不是被判了终身监禁，你可以通过书籍、思考、行动来改变自己的命运。
查理·芒格
写作就像在大理石上雕刻：每个词都必须精确且不可复制。
Escribir es como tallar en mármol: cada palabra debe ser precisa e irrepetible.
巴勃罗·加西亚·巴埃纳
我曾说，对于一个男人来说，最重要的是担当和幽默。没有担当的男人，一遇事，就黏黏糊糊，怨天尤人，多麻烦；没有幽默感的男人，干巴巴的，整天这么对着，多么恐怖！
王蒙