模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
远离复杂的人际关系，先假设对方的出发点是好的。
郭俊杰
强迫不利于天性的发挥，一旦违背天性，人很难取得成功。
塞涅卡
我们的正常之处，就在于自己懂得自己的不正常。
村上春树
最危险的毒药是成就感。解药是每天早上都像个初学者一样思考。
The most dangerous poison is the feeling of achievement. The antidote is to think like a beginner every morning.
杰夫·谢弗
要创造原创的东西，你必须愿意失败。
You have to be willing to fail to create something original.
蓝尼·克拉维茨
治疗师要经常鼓励其他成员谈论对沉默成员的看法，接着要求沉默成员对此作出批判，从而促进成员共同参与。“你想在团体中受到激励吗？”“当迈克让你出洋相时，你感觉如何？”“他太过分了吗？”“当我们让你感觉不舒服时，能否让我们知道？”
欧文·亚隆
不要被科技异化，要保持人性的温度。
蔡志忠
A good traveler is one who does not know where he is going.
一个好的旅行者不知道他要去哪里。
林语堂
当立心做大事，不立心做大官。
孙中山
送一本笔记，记载我们的爱情，圆圆点点写下浪漫，逗逗点点写下温暖，一字一句记下情感，段段章章写下依恋，1月14笔记本情人节，愿你欢乐相伴，幸福长远。
佚名
予得黄山之性情，不必指定其处也。
张大千
一切美好的事物都是曲折地接近自己的目标,一切笔直都是骗人的,所有真理都是弯曲的,时间本身就是一个圆圈。
尼采
今日我们讲民族主义，不能笼统讲五族，应该讲汉族底民族主义。”“彼满洲之附日，蒙古之附俄，西藏之附英，即无自卫能力底表征。然提撕振拔他们，仍赖我们汉族。兄弟现在想得一个调和的方法，即拿汉族来做个中心，使之同化于我。”“仿美利坚民族底规模，将汉族改为中华民族，组成一个完全底民族国家，与美国同为东西半球二大民族主义的国家。
〈三民主义大旨〉，在广州中国国民党本部特设办事处成立会的演说，1921年3月6日
孙中山
意识虽然像一面镜子，反映外界与神经系统之间的变化，但它是选择性的反映，会主动塑造事件，并把主观的真实加诸事件之上。
米哈里·契克森米哈赖
如何改变习惯选择一件事情，许下一个愿望，并使其具象化。规划一条可持续的路径。确定需求、诱因和替代品。把自己的规划告诉朋友。一丝不苟地稳步前行。自律是通向新的自我形象的桥梁。全面接受新的自我形象，这就是现在的你。
埃里克·乔根森
只有像我这样发疯地爱生活、爱斗争、爱那新的更美好的世界的建设的人，只有我们这些看透了认识了生活的全部意义的人，才不会随便死去，哪怕只有一点机会就不能放弃生活。
奥斯特洛夫斯基
在银河帝国中，最危险的不是无知，而是拥有知识的错觉。
艾萨克·阿西莫夫
人生是一条寂寞的路，要有一本有趣的书来消磨旅途。我爸爸这本书无聊之极，叫她懊悔当初怎么挑了这么一本书看。她羡慕铃子有了一本好书，这种书只有拿性爱做钥匙才能打得开。
王小波
不是我们被限制，让我们不能做———而是我们自己的选择，是我们选择不做。
阿德勒