形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
每一天都是新的一天。有好运气当然好。可我宁愿做到准确无误。这样，当好运气来临时，你已经准备好了。
海明威
知行合一。
王阳明
因果模型是数据与决策之间的桥梁。
The causal model is the bridge between data and decision-making.
朱迪亚·珀尔
我是真相，我是无声者的声音。
I'm the truth, I'm the voice of the voiceless.
艾米纳姆
具有良好的股票组合的投资者应预计到其股票价格会发生波动，但无论其涨跌，他都应避免过分激动。他应该知道，他既可从价格波动中谋取利润，也可忽视它们。他不应该因某一股票上涨了就购入，或是因某一股票下跌了就抛出。如果他记住这样一句格言他就不会犯大的错误：“股票剧涨后莫买，股票暴跌后莫卖。”
本杰明·格雷厄姆
你信任人，人才对你忠实。以伟人的风度待人，人才表现出伟人的风度。
爱默生
如果在商学院当老师：期末考试的时候，我问大家随便一直网络股的价值多少？给出答案的学生都判不及格。
巴菲特
工作在无意间满足了人们想要远离日益混乱的生活的需求。
亚里士多德
理解黑洞就是理解宇宙的结构本身。
Understanding black holes is understanding the fabric of the universe itself.
赖因哈德·根策尔
当年就因为我同这个可怜的男人的关系，人们糟践了我的生活，破坏了我的幸福，因为我们太年轻了，而现在，人们又想把这幕剧重演，因为我们太老了。
加西亚·马尔克斯
科学研究要有怀疑精神，但怀疑要有根据。
李四光
你见过一种可怕的机器吗？那东西叫做碾片机。对它应当小心，那是个阴险凶恶的东西，假使它拖住了你衣服的一只角，你整个人便会被卷进去。这架机器，便像是游手好闲的习惯。不要去惹它，在你还没有被卷住的时候，赶快避开！要不，你便完了，不用多久，你便陷在那一套联动齿轮里。一旦被它卡住，你便啥也不用指望了。
雨果
法律永远是一种平衡的艺术。
罗翔
真正的友谊无论从正反看都应一样，不可能从前面看是蔷薇而从后面看是刺。
弗里德里希·吕克特
每一个人只有为自己可选择的事业而牺牲的权利，但任何人都没有权利去鼓励别人为一个理想而牺牲。
卡尔·波普尔
人们感到痛苦的不是他们用笑声代替了思考，而是他们不知道自己为什么笑以及为什么不再思考。
尼尔·波兹曼
善于等待的人，才是真能抢先的人。匆忙只会出错，并无丝毫好处。
杰弗雷·乔叟
明天你所遇到的人当中,会有四分之三渴望被人同情。给予他们同情,他们会因此而爱你。
卡耐基
无贵无贱，无长无少，道之所存，师之所存也。
韩愈