"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
唵为弓，灵为箭，梵乃箭之靶，当不懈地射中它。
赫尔曼·黑塞
只有那些躺在坑里的人、从不仰望高出的人，才会没有出头之日。
黑格尔
Blue oceans denote all the industries not in existence today—the unknown market space, untainted by competition.
蓝海代表今天尚不存在的所有行业——未知的市场空间，未被竞争玷污。
金伟灿
立天子以为天下，非立天以为天子。
蒙森
一叶蔽目，不见太山。
一片叶子遮住眼睛，就连泰山也看不见了。
鹖冠子
税收是国家参与国民收入分配的重要手段，必须坚持公平与效率的统一。
邓子基
这个秋天是我的，因为她在我心头震撼着。她的闪耀的足铃在我的血管里叮吟地响着，她的雾色的面纱，扰动着我的呼吸。我在所有我的梦中知道她的棕色头发的接触，她走出去，在颤抖的树叶上，那些树叶在我的生命的脉搏里跳舞；她的两眼从青的天空上微笑着，从我那里饮啜他们的光明。
泰戈尔
你快乐吗？你快乐吗？你快乐吗？试试看，每天吃一颗糖，然后告诉自己——今天的日子果然又是甜的。
三毛
他吃下去的佳肴美酒在肚子里会化作胆汁，血凝成了冰，心像铁一样硬。
狄更斯
全世界无产者联合起来。
马克思
进不失廉，退不失利。
晏子
一直都希望做一个认真、演什么像什么的演员。下一步的计划就是继续努力，不停地拍出好作品。
彭于晏
刑法不仅要惩罚犯罪，更要预防犯罪，这是现代刑法的双重功能。
高铭暄
谁承受纯粹的阅历并且根据它去行动，谁就有足够的真理。就这个意义上说，正在成长中的孩子是聪慧的。
歌德
凡物皆有可观。苟有可观，皆有可乐。
苏轼
在这个世界里我感到自己是个外人，没得到过多少快乐和幸福，也没得到过多少爱，当然这都是我的错。
刘慈欣
你是作业，举目不见学生。
弗兰兹·卡夫卡
方法论：逻辑上的升维，决策上的降维。大胆假设，小心求证。抓住可理解、可预期、可展望的有限关键变量。
张磊
心理学必须是纯粹实验性和分析性的。
Psychology must be purely experimental and analytical.
爱德华·铁钦纳