The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
阳光灿烂的日子，能在户外就在户外。
马特·海格
创业初期，我每天工作16个小时，没有周末，没有假期，就是为了让顺丰能够生存下去。
王卫
We may have all come on different ships， but we're in the same boat now.
也许我们曾经乘不同的船来到这里，但现在我们都在同一艘船上”
马丁·路德·金
生活，生活，这就是生活！
路遥
美丽不在于外表完美——而在于自信地生活。
Beauty isn’t about looking perfect—it’s about living with confidence.
马克·吐温
忍耐是至胜的关键，离场是避免手痒的最好方法。
巴菲特
好奇心和决心；在小学阶段，少儿更愿意学习社会交往技巧和语言；在中学时期，青春期会在很大程度上改变一个人的大脑功能，所以帮助孩子度过这段转型期是很重要的；在青春期后期的高中时期，人的大脑更适合学习社交、情感和分析技能。
瑞·达利欧
I don't want to be a star, I want to be a legend.
我不想成为明星，我想成为传奇。
亚瑟小子
人最终喜爱的是自己的欲望，不是自己想要的东西！
尼采
A leader's job is to create more leaders, not more followers.
领导者的工作是创造更多领导者，而非追随者。
何塞·安东尼奥·加西亚
当然，你知道我的抱负是什么，就是要指挥一支军队去杀德国人和日本人。我不相信我的所作所为竟然会对我在这一方面的才能有什么影响。
巴顿
公司不应该沉迷于闪亮，因为闪亮不会持久。
A company shouldn't get addicted to being shiny, because shiny doesn't last.
杰夫·贝索斯
I’ve always thought that the schoolboy who’s a bit of a troublemaker is the one who’s going to come out and do something really interesting.
我一直认为学校里那些有点麻烦的男孩，往往是将来能做出真正有趣事情的人。
詹姆斯·戴森
音乐让我学会了坚持和永不放弃。
Music has taught me perseverance and never giving up.
张学友
孩子——以及所有的人——需要的，是爱加上界限，而不是只能二选一。
菲利帕·佩里
人最宝贵的是生命。生命属于人只有一次。人的一生应当这样度过：当回忆往事的时候，他不会因为虚度年华而悔恨，也不会因为碌碌无为而羞愧；在临死时候，他能够说：我的整个生命和全部精力，都已经献给了世界最壮丽的事业----为人类的解放而斗争。
奥斯特洛夫斯基
享受生活的每一分钟。永远不要怀疑生活。
迈克尔·乔丹
耐心——身体的谨慎与道德勇气的混合。
托马斯·哈代
法律是对人最低的道德要求，它无力改变人心，但必须在捍卫道德底线层面有所作为。
罗翔