The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果腰缠大把的时间，让我选择一个城市终老，这个城市一定要丰富。生命太短，最没有意义的就是不情愿的重复，所以人生第一要义不是天天幸福，而是不烦，喜怒哀思悲恐惊，酸甜苦辣咸麻涩鲜，都是人生经验 北京虽然已经不适合人类居住，但是还适合我思考，还能让我混吃等死，灵魂不太烦闷。
冯唐
我认为建筑应该是柔软和轻盈的。
I think architecture should be soft and light.
妹岛和世和西泽立卫
我非生而知之者，好古，敏以求之者也。
孔子
我走出自己趋向繁复的记忆，如同走出层峦叠嶂的森林。疲惫的思维躺下休息了，身体仍然向前行走，走在无边无际的混沌和无声无息的空虚里。 空中没有鸟儿飞翔，水中没有鱼儿游弋，大地没有万物生长。
余华
一个人的后半辈子均由习惯组成，而他的习惯却是在前半辈子养成的。
陀思妥耶夫斯基
我不在乎你怎么看我，我根本不想你。
I don't care what you think about me, I don't think about you at all.
50美分
真正的革命者是被伟大的爱所引导的。无法想象一个缺乏这种品质的真正革命者。
The true revolutionary is guided by a great feeling of love. It is impossible to think of a genuine revolutionary lacking this quality.
切格瓦拉
对别人都没有好处。他就是我们这个时代中的一个人－一个法国人，一个英国人，一个中产阶级的人。他什么都不是。
卢梭
在上帝创造的万物中，放出最大光明的是人心。不幸的是，制造最深黑暗的也是人心。
雨果
井蛙不可以语于海，夏虫不可以语于冰。
庄子
我会接好父亲递出的接力棒，坚持信念与理想，将品牌和企业传承下去。
宗馥莉
农业不仅是传统的产业，更是科技的前沿阵地。
郑伟
你的人生从四十岁才真正开始，在那之前你只是在做调研。
荣格
写作是为了让朋友们更长久地爱我。
加西亚·马尔克斯
If we don’t act now, the next generation will inherit a world with fewer resources and greater challenges.
如果我们现在不采取行动，下一代将继承一个资源更少、挑战更大的世界。
大卫·米勒
理想不仅是个引诱，并且是个讽刺。在未做以前，它是美丽的对象；在做成以后，它变为惨酷的对照。
钱钟书
仿佛伟大到受害后我都怀念你的好。
黄伟文
对于不会利用机会的人，时机又有什么用呢？一个不受胎的蛋，是要被时间的浪潮冲刷成废物的。
托马斯·艾略特
我的人生没有剧本，一切都是即兴。
My life has no script; everything is improvisation.
周杰伦