Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
七巧似睡非睡横在烟铺上。三十年来她带着黄金的枷。她用沉重的枷角劈杀了几个人，没死的也送了半条命。
张爱玲
"The most thought-provoking thing in our thought-provoking time is that we are still not thinking."
在我们这个发人深省的时代，最发人深省的是我们仍然没有在思考。
沃尔夫冈·希尔比希
一个人有进步是不够的，整个周边环境都要进步。如果只有一个人干得很快，各方面都没有实现同等进步，一个人进步很快也没有多大意义。所以我认为在这个不断进步和优化的过程中，要特别强化周边的协调有效，我们每一个人的进步要和整个周边、整个流程共同进步放到一起。
任正非内部讲话稿
任正非
看见苦难的永恒，实在是神的垂怜——唯此才能真正断除迷执，相信爱才是人类唯一的救助。
史铁生
The true method of knowledge is experiment.
知识的真正方法是实验。
乔治·西蒙·欧姆
我要做的就是按照自己的正常节奏，按部就班地干好每一件事，然后在每一次比赛中全力以赴。
孙颖莎
自我接纳是通往内心和平的唯一道路。
黄仕明
"The greatest enemy of knowledge is not ignorance, it is the illusion of knowledge."
知识最大的敌人不是无知，而是知识的幻觉。
克莱门斯·J·塞茨
败了色的淡赭红的窗帘，紧紧吸在金色的铁栅栏上，横的一棱一棱，像蚌壳又像帆，朱红在日影里，赤紫在阴影里。
张爱玲
真正喜欢的时候，做任何事情都是无限的。
胖东来
该做的就不会考虑会的得到什么。
奥古斯特·斯特林堡
好学的人必成大器。
林肯
城市生活其实是隐姓埋名者的生活，似乎也是抽象的生活。人们确实保持相互联系，却不是以独立完整的人格出现，而是作为经济功能的化身出现；当他们不工作的时候，则以寻欢作乐的不负责任的形象出现。
阿道斯·赫胥黎
I think of other ages that floated upon the stream of life and love and death and are forgotten,and I feel the freedom of passing away.
我想起了其他的浮泛在生与死与爱以及被遗忘的川流上的的时代，我便感觉到离开尘世的自由了。
泰戈尔
习惯的枷锁，开始的时候轻的难以察觉，到后来却重的无法摆脱。
巴菲特
古老的种子，它生命的胚芽蕴藏于内部，只是需要在新时代的土壤里播种。
泰戈尔
告诉人们，吉凶可以细分为六十四种形态。它还告诉我们吉和凶、输和赢这种简单的分类实际上并不准确。“六十四卦”是关于吉凶程度和态势的一种光谱、一种情景、一种症候，所以在判断人和事的时候，不能简单地说吉凶，而言看过程，看这个人到底是一个什么样的人，不能简单地说吉凶，而要看过程，看这个人到底是一个什么样的人，能不能把他的光谱给照出来。让我们选择了一种世界观，不能简单地说这是个好人、那是个坏人，这是件好事、那是件坏事。
吴伯凡
Protecting marine life is protecting our own future.
保护海洋生物就是保护我们自己的未来。
丽莎·陈
我留给儿子的只有我的名字。
拿破仑