"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
没有智慧的头脑，就象没有腊烛的灯笼。
托尔斯泰
在暴风雨中，我们挺起胸膛，迎接黎明的曙光。
光未然
公司的文化是由领导者每一天的行动定义的。
A company's culture is defined by the actions of its leaders every single day.
莎拉·米勒
与平静的水总是存在于海底深处一样，你的判断力深深地存在于你的个性当中，它不应该受到情绪、他人的意见和批评以及表面现象的干扰。这种判断力是处理任何重大事件时所必需的。
奥格·曼狄诺
那些和尚听见问了一声，忽然抬头观看外来人，嘴长耳朵大。身粗背膊宽，声响如雷咋。行者与沙僧，容貌更丑陋。厅堂几众僧，无人不害怕。阇黎还念经，班首教行罢。难顾磬和铃，佛象且丢下。一齐吹息灯，惊散光乍乍。跌跌与爬爬，门槛何曾跨！你头撞我头，似倒葫芦架。清清好道场，翻成大笑话。
吴承恩
行为的浪漫不过是表面的波澜，真正的浪漫是灵魂的浪漫。
冯骥才
如果你不知道，意见有什么用呢？
"What good's an opinion if you don't know?"
约翰·斯坦贝克
没有人见过深海鱼流眼泪，就以为它不会悲伤，那是因为它生活在深深的海底，它的眼泪，人们看不到而已。
饶雪漫
每个聪明人都知道人生是美好的，人生的目的是获得幸福。但最后只有傻瓜们才会幸福。我们将如何来解释这个问题？
奥尔罕·帕慕克
教育，不应该鼓励个人去依附社会，或与社会消极的和谐相处，而是要帮助个人去发现真正的价值 —— 它是经由公正不偏的探讨和自我觉悟而来。
克里希那穆提
社交的快乐是人们一向不能忘情的一种引诱。
西奥多·德莱塞
拥有好的荣誉，总会得到大家的赞扬。但是，做事时如果不认真考虑后果的话，你的好荣誉就会被轻而易举地毁掉，从而使自己失去了最宝贵的东西。我为什么会这样做？我只是觉得好玩。
克雷洛夫
我们最大的愚蠢也许是非常的聪明。
维特根斯坦
凡是总须研究，才会明白。
鲁迅
今公卿辨议，未有所定，此所谓守小节而遗大体，抱小利而忘大利者也。
桓宽
艺术的功能不是为了创造一个美丽和谐的世界，而是让你有能力面对丑陋。
项飙
幸福的花枝，在命运的神的手里，寻觅着要托付与完全的人。
冰心
死马当作活马医，再糟，死马还能再死一回。
王志文
没有伟大的品格，就没有伟大的人，甚至也没有伟大的艺术家伟大的行动者。
罗曼·罗兰