The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
靠水晶球生活的人会吃碎玻璃。
瑞·达利欧
通过高层次的战略规划，能够实现持续有效的变革。
The ability to change constantly and effectively is made possible by high-level strategic planning.
迈克尔·波特
你无法改变生命的长度，但你可以改变它的宽度和深度。
"You can't do anything about the length of your life, but you can do something about its width and depth."
迈克尔·布隆伯格
我已经学会通过限制我的欲望来追求幸福，而不是试图满足它们。
I have learned to seek my happiness by limiting my desires， rather than in attempting to satisfy them.
约翰·斯图尔特·密尔
带队伍的本质是“带”，而不是“管”：人们总觉得人力资源管理有许多技术、技巧，其实西贝没那么多技术和技巧，就是自上而下、真心实意地带你的员工成长，同时也舍得给他设计合适的利益。
贾国龙
音乐家的艺术不在于直接描绘形象，而在于把心灵置于这些对象能够在心灵里创造的情绪中去。
卢梭
先把问题是什么弄明白，再决定怎么做。
瑞·达利欧
钥匙不在锁头上，解决问题要去锁头外找答案。
李笑来
我身上有某种东西，某种先知们具有的东西，它不论男女，也不分老少，是一种内在的、不可动摇的价值。
塔拉·韦斯特弗
沙漏。不鸣不叫，就是在沉默里任光阴流泻一空……然这般优雅安静，在紧凑生活里却显得如此奢侈，因而总是很难用得上。只能久久一次，不用奔忙不贪多工，能够餐桌上闲坐泡茶、喝茶之际，才轮它登场，定定凝视沙粒徐徐而下，分分秒秒，都觉怡然悠长。
叶怡兰
其实人禽之辨，本不必这样严。在动物界，虽然并不如古人所幻想的那样舒适自由，可是噜苏做作的事总比人间少。它们适性任情，对就对，错就错，不说一句分辩话。虫蛆也许是不干净的，但它们并没有自鸣清高；鸷禽猛兽以较弱的动物为饵，不妨说是凶残的罢，但它们从来就没有竖过“公理”“正义”的旗子，使牺牲者直到被吃的时候为止，还是一味佩服赞叹它们。人呢，能直立了，自然是一大进步；能说话了，自然又是一大进步；能写字作文了，自然又是一大进步。然而也就堕落，因为那时也开始了说空话。说空话尚无不可，甚至于连自己也不知道说着违心之论，则对于只能嗥叫的动物，实在免不得“颜厚有忸怩”。假使真有一位一视同仁的造物主，高高在上，那么，对于人类的这些小聪明，也许倒以为多事，正如我们在万生园里，看见猴子翻筋斗，母象请安，虽然往往破颜一笑，但同时也觉得不舒服，甚至于感到悲哀，以为这些多余的聪明，倒不如没有的好罢。然而，既经为人，便也只好“党同伐异”，学着人们的说话，随俗来谈一谈，——辩一辩了。
鲁迅
意志力可以克服任何困难。我从来不想消极的事情。
特朗普
谁都觉得自家媳妇最漂亮。
——温格与弗格森爵士多次争夺英超冠军，当弗爵表示2001-02赛季获得第三的曼联比冠军阿森纳还要出色时，温格做出了这样的回应
温格
互相吹捧是需要棋逢对手的。
八月长安
每个人都会因为获得他人的倾听、理解、共情而受惠。把这件事情变成家中的首要任务，那会让你的家成为孩子最温馨的港湾。
菲利帕·佩里
活着是世界上最稀有的事情。大多数人只是存在，仅此而已。
"To live is the rarest thing in the world. Most people exist, that is all."
让-巴蒂斯特·安德烈亚
根枯枝朽，人困国残。
黄石公
11.企业要好及成功，须同时具备四大核心价值，即是「诚信正直（Integrity)、承诺（Commitment)、创新（Innovation)、及客户信任关系（Customertrust)，简称「ICIC｣。而这四大核心价值首重诚信正直，ICIC经营理念永远不变」｡
张忠谋
面对有系统有难度的挑战，不同程度的学生需要起跳的知识点，每一个学生起跳的支点都是个性化的，只有针对性强，才能够提高学生体验的效果。支点必须是具体的、可操作性的、行之有效的，有利于激发学生斗志和建立信心的。支点的问题应当是学生感到困惑的，力图攻克的或者感兴趣的。支点方法应当是可以用来提炼规律，可反复操作，可迁移的。
沈祖芸