模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我骨子里的心高气傲，以自我为中心的狭窄视角，都是我忽视或是不愿意看到的。透过一些痛苦的情境和经验，老天会强迫你去面对这些你不想看到的东西。如果你还是逃避，你只会更加痛苦。
张德芬
不败不老不糊涂的唯一办法。
马云
人は誰でも、自分が一番大切な存在だと思っている。
每个人都认为自己是世界上最重要的存在。
凑佳苗
我的世界之旅，和一般背包客、旅行者都不太一样，很少去著名景点，没有留下游客照，也没有时间去网红餐厅尝尝味道。但有时，在窗边看看海上烟火，在船上钓半天的鱼，或者在海边骑骑车，也是另一种忙里得闲的快乐。所以说，我旅行的意义，就是那一点点小确幸。
王源
每人快乐的定义不同。别人或许是赚很多钱、吃名贵鲍鱼、开名贵房车、打高尔夫球……我的快乐来自于平淡和简单，没病没痛就已是上天最大的恩赐。
周润发
我是不愿意拍英雄的，本来我就是反英雄人物，但是我特别热爱个体生命能够在绝望环境下克服死亡的恐惧威胁做出一些事来，我特别有兴趣去探究这个。
管虎
在肉类加工行业，安全和卫生应该始终是我们的首要任务。
In the meat processing industry, safety and hygiene should always be our top priority.
明金星
家！甜蜜的家！ 天下最美好的 莫过于家。
魏书生
质量不是保证；它是一种证明。
Quality is not a assurance; it is a proof.
菲利浦·克劳士比
感受的根源在于自身需要，他人的行为只是触发因素。
马歇尔·卢森堡
自然界是一本打开的书，只要你会读它。
李四光
在每个问题中，都有一个等待被发现的隐藏模式，作为数学家，我们的责任就是去揭示它。
In every problem, there is a hidden pattern waiting to be discovered, and it is our duty as mathematicians to uncover it.
丹尼尔·斯皮尔曼
过去是构成时间的物质，所以时间很快就变成过去。
博尔赫斯
做朋友便是做朋友那么简单，最恨别人去打听我的私隐，如果你认为值得付出友谊，让我们握手言欢，如果不，那么去找别人，但别试图探听我的秘密。我的秘密，属于黑暗。
亦舒
人生啊，是不可预测的。没有永恒的痛苦，没有永恒的幸福。生活像流水一般，有时是那么平展，有时又是那么曲折。
路遥
得时者昌，失时者亡。
列子
The most successful people are those who are willing to do the things that less successful people are unwilling to do.
最成功的人是那些愿意做不太成功的人不愿意做的事情。
马歇尔·戈德史密斯
我们是幸存者 我们不会放弃
We're survivors, we're not gonna give up
TLC组合
就是为了她．这个漂亮绝伦的女人，特洛伊人和阿开奥斯人干戈相向．忍受磨难而毫无怨言。她就像永生的女神，不过还是让她坐船离开吧，同时带走我们和后代子孙的痛苦。
荷马