The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
上一次微笑着入睡是什么时候？
莫言
再冷的石头，坐上三年也会暖。
伏尔泰
The only thing that separates successful people from the ones who aren't is the willingness to work hard.
成功者与不成功者的唯一区别就是是否愿意努力工作。
亚瑟小子
梦醒之时，窗外正是沉沉暗夜，我回忆起一年之中，不论什么季节，我都要做关于雪花的梦，哪怕窗外是一派鸟语花香。看来环绕着我的，注定是一个清凉而又忧伤、浪漫而又寒冷的世界。
迟子建
人类的历史是文明的历史。不可能用其他任何思路来思考人类的发展。这一历史穿越了历代文明，从古代苏美尔文明和埃及文明到古典文明和中美洲文明再到基督教文明和伊斯兰文明，还穿越了中国文明和印度文明的连续表现形式。在整个历史上，文明为人们提供了最广泛的认同。
萨缪尔·亨廷顿
紫陌春光好，红楼醉管弦。人生能有几，不乐是徒鸡然。
兰陵笑笑生
游离是对效率的一种必要制衡，你需要两者兼用。很多有价值的发现，尤其是“非线性”的发现，极有可能需要思维上的游离来实现。
杰夫·贝索斯
我们必须尊重土地，因为它是我们一切工作的基础。
We must respect the land, for it is the foundation of all we do.
威拉德·利比
大家普遍混淆了这理论与实践的关系。理论其实是解决问题后的产物，但不能反过来说。
塔勒布
如果人类濒临灭绝，只剩下一个天资尚可，从未受过教育的孩子，那么，即便是这个孩子，也会重新发现万物的运作，重新创造出神灵、魔鬼、天堂、戒律、禁忌，创造出《新约》和《旧约》，创造出一切。”
赫尔曼·黑塞
四月的天空如果不肯裂帛，五月的裕衣如何起头。
简媜
一本好书是一个永远不会让你失望的朋友。
"A good book is a friend that never lets you down."
霍华德·雅各布森
我平素想，能够不为势利所屈，反抗一广有羽翼的校长的学生，无论如何，总该是有些桀骜锋利的，但她却常常微笑着，态度很温和。
鲁迅
人活着就应该热爱生活，而说到热爱生活，人也必须要热爱不幸，失败，孤独。
博尔赫斯
企业文化不是挂在墙上的口号，而是每个员工的行为准则。
席刚
时间具有反脆弱性：它能够淘汰脆弱的事物。
塔勒布
单位里，如果你想结交高层领导，却不敢越级，低调不争抢，只寄希望于直属领导引荐，那么你的结局可想而知。
冯唐
我到办公室总是迟到，但我早退弥补了这一点。
查尔斯·兰姆
The heart is the household divinity which, discharging its function, nourishes, cherishes, and quickens the whole body.
心脏是家中的神祇，履行其职责，滋养、珍爱并激活整个身体。
威廉·哈维