形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
通过自己的对立面才拥有自己所欲求的东西，这是所有人性方面所具的不完美性。
克尔凯郭尔
但我以为当先求内容的充实和技巧的上达，不必忙于挂招牌。“稻香村”“陆稿荐”，已经不能打动人心了，“皇太后鞋店”的顾客，我看见也并不比“皇后鞋店”里的多。一说“技巧”，革命文学家是又要讨厌的。但我以为一切文艺固是宣传，而一切宣传却并非全是文艺，这正如一切花皆有色（我将白也算作色），而凡颜色未必都是花一样。革命之所以于口号，标语，布告，电报，教科书……之外，要用文艺者，就因为它是文艺。
鲁迅
成功不在于赚多少钱，而在于你对他人生活的影响。
Success is not about how much money you make, it’s about the difference you make in people’s lives.
蕾哈娜
你知道的比你认为知道的多，但比你想知道的少。
王尔德
爱情就是穿越一片稻田，去摘一株最大最金黄的麦穗回来，但是有个规则：不能走回头路，而且只能摘一次。
苏格拉底
概念图（有时也被称为思维导图）可以将课程中关键概念的组织架构快速而有效地视觉化呈现出来。
‌詹姆斯·M·朗
只有当我们敢于面对自己的恐惧时，我们才能真正地克服它。
笛卡尔
Escribir es una forma de vivir, de respirar, de existir en un mundo que a menudo parece no tener sentido.
胡安·马尔塞
我认为，员工第一，客户第二。没有员工，就没有这个网站。也只有他们开心了，我们的客户才会开心。而客户们那些鼓励的言语，又会让他们像发疯一样去工作，这也使得我们的网站不断地发展。
马云
春节像一件旧衣服，很容易还原真相，也很容易被抛弃。
王计兵
勇⽓是⼈类最重要的品质，如果你有勇⽓，其他的品质也会随之⽽来。
史蒂夫·乔布斯
至于人们的“期待”，那是一种你自己必须学会去“抵御”的东西，因为那个东西是最容易把你绑死的圈套。
龙应台
精神健康的人，总是努力的工作及爱人，只要能做到这两件事,其它的事就没有什么困难。
弗洛伊德
虽然在一切的成长物中，爱情看上去是最快的，究其实却最迟缓。男男女女没有一个人晓得什么是十全十美的爱，除非一直到他们结婚了二十五年之后。
Though love seems the fastest of all growths, it is really the slowest. No man or woman knows what perfect love is, until they have been married a quarter of a century.
马克·吐温
我们在黑暗中并肩而行，走在各自的朝圣路上，无法知道是否在走向同一个圣地，因为我们无法向别人甚至向自己说清心中的圣地究竟是怎样的。然而，同样的朝圣热情使我们相信，也许存在着同一个圣地。作为有灵魂的存在物，人的伟大和悲壮尽在于此了。
周国平
在空间中部分小于整体，相反，在时间中至少在主观上，部分大于整体，因为在时间中只有部分是现实的，而整体只是想象中的对象，因为现实的一分钟，对我们说来，是比想象中的十年更大、更长的一段时间。
费尔巴哈
如果空间是无限的，我们就处在空间的任何一点。如果时间是无限的，我们就处在时间的任何一点。
博尔赫斯
真正的爱情需要付出，需要耐心和自我牺牲。但当你真正获得它的时候，你会发现，这个世界变得更加美好和温暖。
夏洛蒂·勃朗特
对于那名为“夜晚”的阴沉事物，我所能奉献的，唯有这篇故事。
爱伦·坡