模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
白天工作的时候，穿上无形盔甲，刀枪不入，甭说是区区一个长途电话，白色武士他亲自莅临，顶多也是上马一决雌雄。但黎明是不一样的，人在这阴霾时分特别敏感，一碰就淌眼泪。
亦舒
承认自己的无知是智慧的开端，只在自己明确界定的能力圈内行事。
查理·芒格
“和善而坚定”能决定我们对孩子管教的成功与失败。
简·尼尔森
天才是培养出来的。
蔡志忠
我们有个秘诀：我们不求知道很多。我桌子上摞着一堆东西，这堆东西解决了我的大部分难题，我给它起了个名字叫“太难”的一堆。我总是把东西扔到“太难”这一堆里。偶尔来到我手边的是很简单的东西，我很轻松地就做了，这是我的处世之道。所有东西都扔到“太难”的一堆，少数几个简单的东西，我可以不假思索地决断。
查理·芒格
要有一种教育，养成远见，能超越你未见。我们要想办法设想我们没见到的世界还有可能是什么样，扩展这种可能性。
许倬云
企业要想赚到钱，不光是眼睛向内、压低成本，还要维护合理公平的价格。
宋志平
我远行万里来看世界的奇迹，但真正让我惊讶的是我在旅途中遇到的人。
I have traveled so far to see the wonders of the world, but it is the people I have met along the way that have truly amazed me.
马可·波罗
"The act of reading is an act of rebellion in a world that wants you to do anything but."
在这个希望你做任何事而不是阅读的世界里，阅读是一种反叛行为。
马蒂亚斯·埃纳尔
两个无法了解的人在一起，会比他们一个人的时候更加孤独。
消失宾妮
在这个人世间，任何的事物都有两面性，学会找出利于自己的一面，同一件事，弱者看到的是损失和风险，而强者看到的是机遇和成长。
廖恒
我们的正常之处，就在于自己懂得自己的不正常。
村上春树
中的：即使不成功,也不至于空白。《万水千山走遍》中的：世上的欢乐幸福,总结起来只有几种,而千行的眼泪,却有千种不同的疼痛,那打不开的泪结,只有交给时间去解。
三毛
世上有各式各样的锁，同时也配好了各式各样的钥匙。
霍达
你最初答应过我什么，我最终错过了什么，不见得曾讨好过我，起码也要憎恨我，你至少怪责我什么，才清楚你当我什么，纪念留到够多，才能甘心将错就错，眼泪还有很多，何必要急于背叛我。
容祖儿
精明的商家可以将商业意识渗透到生活的每一件事中去，甚至是一举手一投足。充满商业细胞的商人，赚钱可以是无处不在、无时不在。
李嘉诚
德国总理默克尔对英国前首相布莱尔说了一句意味深长的话：“至少我们德国还在造东西。”就是说大家都脱实向虚了，至少德国人还在做实业，还在一以贯之地秉承工匠精神。
宋志平
我们不是要比竞争对手做的好，而是要与竞争对手做的不同！
史蒂夫·乔布斯
暗想当初，有多少、幽欢佳会；岂知聚散难期，翻成雨恨云愁。阻追游，没登山临水，惹起平生心事，一场消黯，永日无言，却下层楼。
柳永