"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
成功自是人权贵，创业终由道力强。
梁启超
不是所有人都适合当经理。有的人希望有人告诉他怎么做，有的人一旦你给他下命令，他就会辞职走人，我不会怪他们。但阿贝尔（伯克希尔新任CEO）不同，他有自主性，也乐于接受他人的建议或协助，他是一位真正的领导者。
巴菲特
工作，将影响你的一生；它可能造就你，也可能毁灭你。
卡耐基
贫穷是鄙陋低贱的根源，富贵是奢侈的本原，但它们都能够使人退化。
柏拉图
The only limit to your impact is your imagination and commitment.
你影响力的唯一限制是你的想象力和承诺。
安东尼·罗宾
心理过程的价值在于它对有机体适应生活的效用。
The value of a mental process lies in its utility for the organism's adjustment to life.
塞巴斯蒂安·维特尔
时间是最伟大的老师，而科学是解读时间的钥匙。
威拉德·利比
我这人不太懂音乐，所以时而不靠谱，时而不着调。
佚名
我也是瞎子，我不停的说啊！说啊！却没有看见你们是聋子。
雨果
你一有爱，你就会想为对方做些什么。你想牺牲自己，你想服务。
海明威
Entrepreneurship means never giving up and finding opportunities in difficulties.
企业家精神就是永不言弃，在困难面前寻找机会。
王伟
Sustainability isn't a choice—it's our responsibility to future generations.
可持续性不是一种选择，而是我们对后代的责任。
加文·达比
苟有上说之者，劝之以赏誉，威之以刑罚，我以为人之于就兼相爱交相利也，譬之犹火之就上，水之就下也，不可防止于天下。
墨子
对于不可说的东西，我们必须保持沉默。
维特根斯坦
拉德布鲁赫说：“自从有刑法存在，国家代替受害人实行报复开始，国家就要承担双重责任。刑法不仅要面对犯罪人以保护国家，也要面对国家保护犯罪人，不单面对犯罪人，也要面对检察官保护市民，成为公民反对司法专横和错误的大宪章。”
罗翔
只有两种人的成功是必然的。第一种是经过生活严峻的考验，经过成功与失败的反复交替，最后终于成大器。另一种没有经过生活的大起大落，但在技术方面达到了顶尖的地步。比如学化学的人最后成为世界著名的化学家，这也是成功。
徐鹤宁
只是希望能有个人，在我说没事的时候，知道我不是真的没事。
张小娴
我小时候的理想很多，后来被社会现实慢慢地修正。有什么机会就抓住什么机会，就像《士兵突击》里的许三多一样，把每个机会都当作救命稻草，牢牢抓在手中。没有理想、没有目标是不行的。
宗庆后
“真诚”“修养”和“变通”，三者结合，才是成熟。“成熟”的出发点是正心修身，落脚点是为人处世。正心修身时时妥善，为人处世处处得体，才是成熟。“真诚”是基础，“修养”是方式，“变通”是技巧。三者缺一不可。
杨奇函