形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
“你最可爱。”我说时来不及思索，而思索之后，还是这样说。
普希金
假如朝廷开一个忍气吞声科，他能轻松拿到状元。
泰戈尔
To perceive is to suffer.
感知就是受苦。
亚里士多德
The global contemporary is always already local.
全球当代性始终已经是地方性的。
奥卢·奥圭博
作为独立的个体，我们都在一座“人生的迷宫”中旅行。从迷宫的中心出发，先和赋予我们生命的母亲邂逅，然后再走进原生家庭。我们就这样开始了各自的生命旅程，从原生家庭走向外面的世界。
伊莱恩·卡尼·吉布森
性实际上是爱侣之间，表示爱情的最恰当，最热烈的语言，贞节之所以必要，是为了保护这种语言不被污染，为了不让它丧失那种示爱的功能。
史铁生
君主不应以统治为目的，而应传播道德，教化和福泽。
拿破仑
纵使人生是一场悲剧，我们也要快乐的将它演完。
尼采
在我少年时代，我的感情并不像标有刻度的止咳糖浆瓶子那样易于掌握流量，常常对微不足道的小事反应过分，要么无动于衷，要么摧肝裂胆，其缝隙间不容发。
王朔
我觉得人生就像一场马拉松，不是看谁跑得快，而是看谁跑得远。
苏炳添
我相信电影有改变世界的力量。
I believe in the power of cinema to change the world.
弗朗索瓦·奥宗
学校和其他一些学习环境让我们做的很多事情并不那么吸引人。我们学习分数的各种运算公式，背那些与总统或者总统夫人有关的日期，练习好用的主题句来写文章……我们在做这些的时候根本不知道为什么做。
戴维·珀金斯
我由于自己的愚蠢，一直以为她很聪明。
杰罗姆·大卫·塞林格
Teamwork is everything in semiconductor manufacturing.
在半导体制造中，团队合作就是一切。
张汝京
政治上没有人，只有思想，没有情感，只有利害。政治上，不能说杀害一个人，那只是清除一个障碍。
大仲马
停止内在的战争，意味着开始一段自我发现和自我成长的旅程。
黄仕明
鱼不可脱于渊，国之利器不可以已示人。
林语堂
在计算机体系结构中，唯一不变的是变化。
In computer architecture, the only constant is change.
大卫·帕特森
丑小鸭和天鹅之间的相似度，和两只天鹅之间的相似度，是一样的。这就是“丑小鸭定理”。
万维钢