"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
当一个人跪下来帮助一个孩子时，他就变得伟大了。
毕达哥拉斯
挑战是大脑的健身房，每一次挣扎都在雕刻你的潜力。
安妮·布洛克
Sin is a thing that writes itself across a man’s face. It cannot be concealed.
罪恶会写在自己脸上，无处可藏。
奥斯卡·王尔德
总有人注定要因某个玩笑而受苦。
赫兹里特
我们有时轻易地抱怨自己的朋友，其目的不过是想为我们的小毛病辩护。
弗朗索瓦·德·拉罗什富科
即使是品行不端的人也是有是非感的，只不过这种是非感处于潜伏的状态尚未显现出来而已，这就如同一个神志恍惚或者酩酊大醉的人未必就与健康无缘一样。在邪恶的外表下面，往往隐藏着对于美德的感知。
爱默生
创新其实并不一定是最先做的，只是当发现了某个东西，刚好有实力把它做到比别人更好时，可能就厉害了。
段永平
投资于人是一家公司能做出的最有价值的投资。
Investing in people is the most valuable investment a company can make.
罗伯特·赫德尔斯顿
我的生命属于整个社会；在我有生之年，尽我力所能及为整个社会工作，这就是我的特殊的荣幸。
萧伯纳
凡人一可貌相，海水不可斗量。
兰陵笑笑生
生活，不一定每天都过得很好，但每天都一定会有小美好在等你发现。
王蒙
全心全意地、*乎崇拜地爱着他。正因为爱得深、爱得切、爱得炽烈、爱得刻骨铭心，那件事的发生，使外祖母受到了致命的打击，她心中的伤，是千刀剜万刀割般的深，深得根本无法弥补，无从弥 补，无论如何也弥补不了。  
尤今
The truth is a mirror, reflecting who we really are.
真相是一面镜子，反映出我们真正的样子。
哈维尔·马里亚斯
The United States is experiencing a crisis of political decay, with institutions that are increasingly dysfunctional and unable to address the country's challenges.
美国正在经历政治衰败的危机，其机构越来越功能失调，无法应对国家的挑战。
弗朗西斯·福山
保守主义者学不会新东西，也忘不掉旧东西。
爱默生
Don't be afraid to be yourself, because everyone is unique.
不要害怕做自己，因为每个人都是独一无二的。
张惠妹
最重要的是在工作中要诚实。诚实是伟大表演的关键。
The most important thing is to be honest in your work. Honesty is the key to great acting.
本尼西奥·德尔·托罗
历史从来就不幽默，也不乐观，而且在目前可知的范围内，没有什么大团圆结局。
当年明月
你会惊讶于沃伦和我读多少书。我的孩子们笑我是长了腿的书籍。
查理·芒格