模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
谁着大山来外于大夫子有体验过好景不自山来外然的凄凉回忆象会？风国如种回忆是怎如象有在一个人的梦魂深处缠扰啊！一天风像站在盛大宴们为大山旁的幽灵一如象有，它风国如都只形的来外于大是睛，含个一天一种悲哀的哲任邵道意味，看个一天风国如临时的筵席。
西奥多·德莱塞
浪漫型的迷恋，他们在女人身上寻找的是他们自己，是他们的理想。他们总是不断地失望，因为，正如我们所知，理想从来都是不可能找到的。失望把他们从一个女人推向另一个女人，赋予他们的善变一种感伤的借口，因此，许多多愁善感的女人为他们顽强的纠缠所感动。
米兰·昆德拉
信仰，信仰很多时候就是信一信、仰一仰。我不会自寻烦恼。想那些事情太劳神了，想一想看一看，我还是一个生活享乐主义者，享乐主义者的标准就是浅尝辄止，深陷其中一定是自讨苦吃。音乐的魅力在于反映一些小的事件上，写那些细节。
李健
有人告诉我在我书中每个方程式将会降低一半的销售量。结果，我确实放了一个方程式——爱因斯坦著名的等式，E=mc2。我发现这并没有吓跑我一半的潜在读者。
斯蒂芬·威廉·霍金
智慧胜于邪恶。
奥古斯丁
入世冷挑红雪去，离尘香割紫云来。
曹雪芹
我的忧伤，因为有你的照耀，升起一圈淡淡的光轮。
舒婷
西班牙对西班牙人来说，就像墨西哥对墨西哥人一样，是一种痛苦的怀念；而不像美国对美国人那样，是一首乐观的赞歌；也不像英国对英国人而言，是一则冷漠的笑话。不是情感上的疯狂——像俄国人那样，不是理智的讥讽——像法国人那样，也不是像德国人认为的那样，是一道进攻的命令，而是敌对双方的冲突，是灵魂的呻吟，西班牙与墨西哥，阳光和阴影下的国度。
卡洛斯·富恩特斯
人最终喜爱的是自己的欲望，而不是自己想要的东西。
尼采
"The more that you read, the more things you will know. The more that you learn, the more places you'll go."
你读得越多，知道的事情就越多。你学得越多，能去的地方就越多。
苏珊·帕特隆
报纸和太阳一样，它们共同的使命就是给人带来光明。
让-保尔·萨特
The only way to get through life is to laugh your way through it. You either have to laugh or cry. I prefer to laugh. Crying gives me a headache.
度过生活的唯一方法就是笑着度过它。你要么笑，要么哭。我更喜欢笑。哭会让我头疼。
玛丽·布莱姬
人的一生很像是在雾中行走，远远望去，只是迷蒙一片，辨不出方向和吉凶。可是，当你鼓起勇气，放下忧惧和怀疑，一步一步向前走去的时候，你就会发现，每走一步，你都能把下一步路看得清楚一点。往前走，别站在远远的地方观望。你就可以找到你的方向。
罗兰
这是你的错，我根本无意伤害你，可是你却愿意让我驯服你……可是你现在却想哭！那驯服根本对你毫无好处！
安托万·德·圣-埃克苏佩里
谁要是游戏人生，他就一事无成，谁不能主宰自己，永远是一个奴隶。
歌德
我对某个人一旦没有了好感，就永远没有好感。
My good opinion once lost is lost forever.
简·奥斯汀
一个人若能从独处中找到乐趣，必须有一套自己的心灵程序，不需要靠文明生活的支持——亦即不需要借助他人、工作、电视、剧场规划他的注意力，就能达到心流状态。
米哈里·契克森米哈赖
如果是一所好的学校，它一定重视信用，坚信长期主义的力量。
罗振宇
我不喜欢被贴标签。我不仅是R&B歌手，也不仅是流行歌手，我是一个艺术家。
I don’t like to be labeled. I’m not just an R&B singer. I’m not just a pop singer. I’m an artist.
碧昂丝