模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
人一穷，连最细致的感情都粗糙。爱到最高点，你也要自立。自己不立，谁来立你？得第二，也是输。岂容狡辩？
李碧华
真正的快乐和悲伤并不来自于事物的外在变化，而是我们内心的感受和看法。
叔本华
I'm a survivor, I'm not gonna give up, I'm not gonna stop, I'm gonna work harder.
我是个幸存者，我不会放弃，我不会停下，我会更加努力。
玛丽亚·凯莉
文化建设就是通过各种环境的营造来暗示某种价值和行为，激发成员的内心自觉感，从而达到去制度化的目的。
鲍传友
能取胜的人，总是在说“必须”如何如何，“未来”如何如何。
乔丹·贝尔福特
成功的花，人们只惊慕她现时的明艳！然而当初她的芽儿，浸透了奋斗的泪泉，洒遍了牺牲的血雨。
冰心
"The most important thing is to enjoy your life—to be happy—it's all that matters."
最重要的事是享受生活——快乐——这才是最重要的。
罗杰·费德勒
走运时，要想到倒霉，不要得意过了头；倒霉时，要想到走运，不必垂头丧气。心态始终保持平衡，情绪始终保持稳定，此亦长寿之道也。
季羡林
人胜我无害，彼无蓄怨之心我胜人非福，恐有不测之祸。
释义：他人胜过自己无妨，对方不会有怨恨；自己胜过他人非福，可能招致灾祸。
林逋
"The beauty of cinema lies in its ability to make us feel less alone."
电影的美在于它能够让我们感觉不那么孤单。
文森特·林顿
人与上帝间有着永恒的距离，这很要紧。否则信仰之神一旦变成尘世的权杖，希望的解释权一旦落到哪位强徒手中，就怕要惹祸了。
史铁生
每一次创造都是始于破坏。
毕加索
尼采爱看血写的书。但我想，血写的文章，怕未必有罢。文章总是墨写的，血写的倒不过是血迹。它比文章自然更惊心动魄，更直截分明，然而容易变色，容易消磨。这一点，就要任凭文学逞能，恰如冢中的白骨，往古来今，总要以它的永久来傲视少女颊上的轻红似的。
鲁迅
如果你的未来面临着高度的不确定性，比如房地产价值可能大幅下跌，也可能大幅上涨，那么你的选择权将变得更有价值。不确定性越大，你的选择权就越有价值。
塔勒布
疗愈发生在尊重生命流动之时。我看见，我接纳。
伯特·海灵格
实现程序:设定→想法→感觉→行动=结果。设定会产生想法；想法产生感觉；感觉产生行动；行动产生结果。
哈维·艾克
我往往在人的不注意、不戒备的时候，瞥见其人的真而美的姿态。
丰子恺
我宁愿亲手挥斧建造舰船，也不愿在宫廷的奢华中虚度；劳动是帝王的责任。
彼得大帝
我们要做的是让每一个中国人都能开上自己国家生产的汽车。
What we need to do is to ensure that every Chinese person can drive a car produced by their own country.
李书福