形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
给大家一个建议，就是经常看自己有什么，而不是没有什么。
李一诺
有一个好演员说过，演员可以分五等，第五级的演员的表演可以令观众如痴如醉了。但是你如果真正想当一个好的演员，你才期盼最后一个第六等是什么，但是第六等并不能代表一切，即使你拥有前五等，可以把观众聚到你的旗下，那第六等就是要真实，因为那个才是真理，才是真真正正表演的真理。
吴镇宇
夫醉者之坠于车也，虽疾不死。
列子
良禽择木而栖，贤臣择主而事。见机不早，悔之晚矣。
罗贯中
假如一个社会不是建立在对（经济学）原理的认识之上，而是建立在某些偶然因素之上的话，那么这个社会已经取得的繁荣很可能会消失。对（经济学）原理的认识是一个社会走向持续繁荣的前提条件。
朱海就
The most important property of a program is whether it accomplishes the intention of its user.
程序最重要的属性是它是否实现了用户的意图。
罗纳德·李维斯特
愿你生命充满云翳，来编织成一个美丽的黄昏。
冰心
探索真理的过程比占有真理更为可贵。
托马斯·亨利·赫胥黎
人类总不会寂寞，因为生命是进步的，是天生的。
鲁迅
"The best ideas come when you're not trying to have ideas."
最好的想法总是在你不刻意追求时出现。
雷蒙德·布里格斯
对自己负责是获得真正内心自由的必要条件。
卡伦·霍妮
语言不仅是交流的工具，更是民族灵魂的体现，因为它承载了一个民族的历史、思想与精神追求。
费希特
现在他们厚颜无耻地度日，追寻短暂的快乐，几乎没有超过一天以上的目标。
尼采
生与死，光和暗，爱和苦，原来都这般接近。
张晓风
宇宙中有多少生物，就有多少中心。我们每个人都是宇宙的中心，因此当一个沙哑的声音向你说你被捕了，这个时候，天地就崩溃了。
亚历山大·索尔仁尼琴
我们不做市场调查。我们不招收顾问……我们只想做出伟大的产品。
史蒂夫·乔布斯
夏则资皮、冬则资絺、旱则资舟、水则资车，以待乏也。
范蠡
宇宙是能量和物质的交响曲，在最大的尺度上演奏。
The universe is a symphony of energy and matter, playing out in the grandest scale.
安德烈·林德
享有王子特权的人少之又少，但正义感却是人尽可拥的美德。
约翰·德莱顿