The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我看电影总是跟着把好的构图画下来，有时一场电影会画上百张，完全忘了故事是什么。
张艺谋名人名言哲理格言警句语录 张艺谋
“您知道，先生，在生意场上是没有朋友，”他说，“只有客户的。”
大仲马名人名言哲理格言警句语录 大仲马
皮斯托留斯对我曾经意味的，他曾给予我的，恰恰是他无法成为的，也无法给予自己的。他为我指出的光明大道，却超越和背离了他这个引路人。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞
In Russia, the severity of laws is compensated for by the fact that it is not necessary to execute them.
在俄罗斯，法律的严厉性因其不必执行而得到补偿。
萨尔蒂科夫·谢德林名人名言哲理格言警句语录 萨尔蒂科夫·谢德林
我是一个内向的人，不断地把自己放在那里，却没有取得任何进展，这开始让我感到沮丧。不断的被拒绝很难应对，漫长的日子让人筋疲力尽，成功似乎遥不可及。那是我的至暗时刻之一。
梅勒妮·珀金斯名人名言哲理格言警句语录 梅勒妮·珀金斯
多少美好的东西消失和毁灭了，世界还像什么事也没有发生。生活永远是美好的；人的痛苦却时时在发生。
路遥名人名言哲理格言警句语录 路遥
桌面上一个完整的杯子是一个高度有序的状态，而地板破碎的杯子是一个无序的状态。人们很容易从早先桌子上的杯子变成后来地面上的碎杯子，而不是相反。
斯蒂芬·威廉·霍金名人名言哲理格言警句语录 斯蒂芬·威廉·霍金
宗教就会象财富、荣誉或家族那样，仅仅成为一种人们引以自豪的东西。
泰戈尔名人名言哲理格言警句语录 泰戈尔
一个人可能走得快，一群人才能走得远。
雷军名人名言哲理格言警句语录 雷军
青春啊，永远是完美的，但是真正的青春，只属于这些永远力争上游的人，永远忘我劳动的人，永远谦虚的人。
雷锋名人名言哲理格言警句语录 雷锋
在华丽的衣裳下常常会遮盖了深重的创伤。
亨利克·显克维支名人名言哲理格言警句语录 亨利克·显克维支
故时年岁善，则民仁且良；时年岁恶，则民吝且恶。
王尔德名人名言哲理格言警句语录 王尔德
豁达不是成全别人，豁达是放过自己。上善若水，不与人争本身就是智慧。
董宇辉名人名言哲理格言警句语录 董宇辉
开放合作是通信产业持续发展的关键。
开放合作是通信产业持续发展的关键。
徐直军名人名言哲理格言警句语录 徐直军
破裂是指我们误解彼此，做了错误的判断，伤害了他人。在每个重要、亲密的家庭关系中，翻脸决裂是无可避免的。重点不在于关系破裂，而是要加以修复。
菲利帕·佩里名人名言哲理格言警句语录 菲利帕·佩里
母亲，倘若你梦中看见一只很小的白船儿，不要惊讶它无端入梦。这是你至爱的女儿含着泪叠的，万水千山，求他载着她的爱和悲哀归去。
冰心名人名言哲理格言警句语录 冰心
如果说索拉博很安静是错误的。安静是祥和，是平静，是降下生命音量的旋钮。沉默是把那个按钮关掉，把它旋下，全部旋掉
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼
让我告诉你引导我达到目标的秘密。我的力量仅在于我的坚韧。
"Let me tell you the secret that has led me to my goal. My strength lies solely in my tenacity."
路易斯·巴斯德名人名言哲理格言警句语录 路易斯·巴斯德
过度崇拜“成功女神”带来的道德软弱，这就是我们国家的疾病。
威廉·詹姆斯名人名言哲理格言警句语录 威廉·詹姆斯