"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
哪有人喜欢孤独，不过是不喜欢失望罢了。
村上春树
I'm not trying to be cool. I'm just being myself.
我不是在试图耍酷，我只是在做自己。
贾斯汀·汀布莱克
聚时竭力，散时无悔，天下筵席皆有尽。
李梦霁
做人有3碗面最是难吃: 人面、场面、情面。
杜月笙
不管这世界是大还是小，人与人的遇合总是很难预料的。也许有那朝思暮想希望见见面的人，偏偏总是阴错阳差碰不到一起。也许有那唯恐碰在一块的人，偏偏冤家路窄越躲越会碰上。
罗兰
等了一辈子，恨了一辈子，想了一辈子，怨了一辈子。却仍然感激上苍，让她有这个可等、可恨、可想、可怨的人，否则，生命会像一口枯井，了无生趣。
琼瑶
多少美好的东西消失和毁灭了，世界还像什么事也没有发生。是的，生活在继续着。可是，生活中的每一个人却在不断地失去自己最珍贵的东西。生活永远是美好的；人的痛苦却时时在发生。
路遥
没有什么人值得你流泪，值得让你这么做的人不会让你哭泣。
狄更斯
除了跑步，我想影响和鼓舞更多的人。通过我的基金会，为肯尼亚的孩子们提供更多的机会接受更好的教育，也许还能有更好的训练环境。这也许是帮助下一代的唯一方法。
埃鲁德·基普乔格
何况要想了解一个人，需要逐渐地、仔细地观察他，以免造成偏见和误解，那是过后很难纠正和挽回的。
陀思妥耶夫斯基
过去30天、45天、100天内发生的事情，真的不算什么。相比1929年的股市崩盘等时期，这不是什么重大波动，也不算是一场剧烈的熊市。
巴菲特
时间是一位伟大的治愈者，它能抚平我们心中的伤痛。
余华
什么是最好的政府？就是指导我们自己去治理自己的政府。
歌德
“她还说，她无疑是当地斗过的破鞋里最漂亮的一个。斗她的时候，周围好几个队的人都去看，这让她觉得无比自豪。”
王小波
中国哲学的智慧在于其‘体用不二’的思维方式，即本体与现象的统一。
李景林
人们内心对公平有强烈需求，违背公平原则的决策难以获得长期支持。
查理·芒格
当你无可奈何时，你读的书决定了你会成为什么样的人。
奥斯卡·王尔德
自我反省，是成长的阶梯。
施一公
移民可以对创新和生产力产生积极影响。
Immigration can have positive effects on innovation and productivity.
戴维·卡德