模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果有人对你不好，首先尝试去爱，如果那不管用，那么就同情，如果那也不管用，那就保持距离。
萨古鲁名人名言哲理格言警句语录 萨古鲁
鸟有偿冤者，终年抱寸诚。口衔山石细，心望海波平。渺渺功难见，区区命已轻。人皆讥造次，我独赏专精。岂计休无日，惟应尽此生。何惭刺客传，不着报雠名。
韩愈名人名言哲理格言警句语录 韩愈
对她来说，转学是件好事。她不仅由此看到出生地之外的新世界，也明白了新的世界并非遥不可及。
贝蒂·史密斯名人名言哲理格言警句语录 贝蒂·史密斯
在理想的最美好世界中，一切都是为最美好的目的而设。
伏尔泰名人名言哲理格言警句语录 伏尔泰
人生是一场无休、无歇、无情的战斗，凡是要做个够得上称为人的人，都得时时向无形的敌人作战。
罗曼·罗兰名人名言哲理格言警句语录 罗曼·罗兰
人的正确功能是生活，而不是生存。
The proper function of man is to live，not to exist.
苏格拉底名人名言哲理格言警句语录 苏格拉底
品格是一种内在的力量，它的存在能直接发挥作用，而无需借助任何手段。
爱默生名人名言哲理格言警句语录 爱默生
楚江湄，湘娥乍见，无言洒清泪。
周密名人名言哲理格言警句语录 周密
现实的生活就像是一家医院，每个人都疲于更换自己的病床。有人喜欢靠近暖气片地病床，有人喜欢靠窗。
阿兰·德波顿名人名言哲理格言警句语录 阿兰·德波顿
在我过去的生活中，我已经把自己献给了非洲人民的斗争事业。我反抗了白人专制，我也反抗了黑人专制。我抱有民主和自由社会的理想，希望大家在这样的社会里和睦地生活在一起，享有平等的机会。我希望为这个理想而生活，并努力把它变为现实。如果需要，我愿意为了这个理想而牺牲自己的生命。
曼德拉名人名言哲理格言警句语录 曼德拉
社会有三把利剑专门用来对付人：法律、舆论和人们心中的道德良知。
毛姆名人名言哲理格言警句语录 毛姆
思想思想的思想是反思的思想。
冯友兰名人名言哲理格言警句语录 冯友兰
真理既不因人的权威而存在，也不因神的权威而存在，它是客观存在的。
乔尔丹诺·布鲁诺名人名言哲理格言警句语录 乔尔丹诺·布鲁诺
The more you give, the more you get.
你给予的越多，得到的就越多。
贾斯汀·比伯名人名言哲理格言警句语录 贾斯汀·比伯
没有孩子，却被几百个孩子称呼为“妈妈”；日子清苦，内心却总能安享另一种阳光。
张桂梅名人名言哲理格言警句语录 张桂梅
尔时世尊，四众围绕，供养恭敬尊重赞叹；为诸菩萨说大乘经，名无量义教菩萨法佛所护念；佛说此经已。结跏趺坐，入于无量义处三昧，身心不动，是时乱坠天花，有四花，分别为：天雨曼陀罗华、摩诃曼陀罗华、曼珠沙华、摩诃曼珠沙华。而散佛上及诸大众。
释迦牟尼名人名言哲理格言警句语录 释迦牟尼
我不是为了说唱而说唱。我说唱是为了让人们思考。
I don't rap for the sake of rapping. I rap to make people think.
艾米纳姆名人名言哲理格言警句语录 艾米纳姆
人活着，就得干点有用的事。
郭明义名人名言哲理格言警句语录 郭明义
Win-win cooperation is the trend of the times. We should work hand in hand with all parties to create a better future.
合作共赢是时代潮流，我们要与各方携手共创美好未来。
戴厚良名人名言哲理格言警句语录 戴厚良