"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
在任何情况下生存的最佳方法就是为之做好准备。
The best way to survive in any situation is to be prepared for it.
贝尔·格里尔斯
“槐树种在土山上，坐在树上可见隔壁佛院.看不见房子，看到的是关着的那两扇门，关在门外的一片田园.门里是什么岁月呢？钟鼓整日敲，那么悠徐，那么单调，门开时，小尼姑来抱一捆草，打两桶水，随即又关上了.水咚咚地滴回井里.那边有人看我，我忙把书放在眼前。”
汪曾祺
创意真的可以如病毒一般传播吗？一些进化生物学家，如理查德·道金斯就认为，它们是完全可以做到的。在其1976年出版的著作《自私的基因》里，道金斯解释了一种创意如何能够像生命形态一样完成自身的复制，并给这些创意命了名，此术语现如今已经广为人知，即“迷因”（因与“基因”在生物进化过程中起的作用类似而得名）。《韦氏词典》将“迷因”定义为：“在文化层次上，于人与人之间进行传播的某种观点、行为方式或风格”。前面所举的宗教的例子就在此列，它们是相当成功的，且已经传播了数百代。甚至可以说，它们是世世代代中最成功的观念。
克里斯•布洛根
我爱的是那种想超越自己去创造而由此毁灭的人。
尼采
The common law is best understood as a system for maximizing the wealth of society.
普通法最好被理解为一个旨在最大化社会财富的体系。
理查德·波斯纳
死亡不是最糟糕的；更糟糕的是渴望死亡却无法实现。
索福克勒斯
我们清醒地穿过梦境：我们自己只不过是过去的岁月的一个幽灵。
弗兰兹·卡夫卡
不肯冒险，是穷人面临的第一大风险。
阿比吉特•班纳吉
当我如此贪得无厌，将风景一一攫入心扉，敢情我自己也成了他人眼中的晨景？
舒婷
多年前所有的眼泪，已在今天的心底凝成雪白的结晶，用舌尖触碰，还能尝到淡淡的苦，随后慢慢地，竟有一丝的清甜。
撒贝宁
世间所有，如梦幻泡影，如露亦如电，应作如是观。
世间的一切，都如同梦幻泡影，如同露水和闪电，应该这样看待。
玄奘
根据经验，任何政策，如果只作简单的说明，而不作系统的说明，即不能动员党与群众，从事正确的实践。
毛泽东
您无法仅问顾客什么他们要和然后设法给那他们。当您得到它被修造的时候，他们将想要新的事物。
史蒂夫·乔布斯
The biggest disability is a bad attitude.
最大的残疾是坏的态度。
尼克·胡哲
西方的生存取决于美国人重新确认他们的西方身份，以及西方人接受他们的文明独特性。
萨缪尔·亨廷顿
我不是为死去的总统说唱；我宁愿看到总统死去。
I don't rap for dead presidents; I'd rather see the president dead.
艾米纳姆
启奎嗳唷了一声，揉了揉眼，依旧探过身来，脱去了手套为她理头发。理了一会，把手伸进皮大衣里面去，拦在她脖子后面。静静叫道：”别！别！冷哪！”启奎道：”给我渥一渥。”静静扭了一会，也就安静下来了。启奎渐渐的把手移到前面，两手扣住了她的咽喉，轻轻地抚弄着她的下颔。静静只是不动。启奎把她向这面揽了一下，她就靠在他身上。
张爱玲
可持续性不仅仅是一个流行词，更是我们对后代的责任。
Sustainability isn't just a buzzword—it's our responsibility to future generations.
莎拉·格林
做大事要有魄力，做小事要能细心，做难事要肯忍耐，做善事要求无相。
星云大师