形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
一个人应该：活泼而守纪律，天真而不幼稚，勇敢而不鲁莽，倔强而有原则，热情而不冲动，乐观而不盲目。
马克思
我们最后变成什么样，并不取决于我们选择了那条道路，而是取决于我们的内心。
欧·亨利
We don't inherit the earth from our ancestors; we borrow it from our children.
我们不是从祖先那里继承了地球，而是从我们的孩子那里借来的。
安娜·克拉克
红曙卷窗纱，睡起半拖罗袂。何似等闲睡起，到日高还未。催花阵阵玉楼风，楼上人难睡。有了人儿一个，在眼前心里。
兰陵笑笑生
正义就是去拥有所应该拥有的东西，做应该做的事，我想这么定义应该是可以的。
柏拉图
以智慧灯来点亮心光，以自性佛来成就内心，以六度法来治疗心病，以七圣财来丰富内财。
星云大师
我们将以自己忍受苦难的能力，来较量你们制造苦难的能力。我们将用我们灵魂的力量，来抵御你们物质的暴力。我们不会对你们诉诸仇恨，但是我们也不会屈服于你们不公正的法律。你们可以继续干你们想对我们干的暴行，然而我们仍然爱你们。你们在我们的家里放置炸弹，恐吓我们的孩子，你们让戴着KKK尖顶帽的暴徒进入我们的社区，你们在一些路边殴打我们，把我们打得半死，奄奄一息，可是，我们仍然爱你们。
马丁路德金
死亡让我感到的唯一痛苦，便是不能为爱而死。
加西亚·马尔克斯
相望同千里。尽凝睇，厌厌无寐，渐晓雕阑独倚。
柳永
I think the best actors are the ones who are willing to be vulnerable and take risks.
我认为最好的演员是那些愿意脆弱并冒险的人。
肖恩·潘
Every decision we make should reflect our commitment to a healthier planet.
我们做出的每一个决定都应该反映我们对更健康星球的承诺。
伊桑·布朗
一个科学家应该想到的，不是当时人们对他的辱骂或表扬，而是未来若干世纪中人们将如何讲到他。
路易斯·巴斯德
人要有做决定的勇气，也要有接受失败的勇气。
亦舒
制度史研究的关键在于揭示制度背后的社会结构与权力关系。
阎步克
I'm not a brand. I'm not a thing. I'm a human being.
我不是一个品牌。我不是一件物品。我是一个人。
Lady Gaga
今天所做之事勿候明天，自己所搞之事勿候他人。
歌德
最好的领导方式是服务。
"The best way to lead is to serve."
萨蒂亚·纳德拉
在编程世界中，最重要的是确保我们创建的软件是可靠和高效的。
The most important thing in the programming world is to make sure that the software we create is reliable and efficient.
弗朗西丝·艾伦
过去从未死去，它甚至从未过去。
"The past is never dead. It's not even past."
爱德华·P·琼斯