"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
大丈夫一言即出，就什么马也难追了。
金庸
小松树，容我伴你罢，完成了“自然”的图画。
冰心
Life is a journey, and if you fall in love with the journey, you will be in love forever.
生活是一段旅程，如果你爱上了这段旅程，你将永远爱下去。
塞尔玛·拉格洛夫
如果你不喜欢现在的生活，要么换种活法，要么就闭嘴不言。
佚名
我们常为一些蝇头微利而回避法官，却情愿让那些或出于忌妒、或因为成见、或缺乏智慧而与我们迥然不同的人来评价我们的名声和荣誉；而为了使判决能够有利于我们，我们不惜以各种方式，袒露自己的隐私及生活。
弗朗索瓦·德·拉罗什富科
人是有童心的，就像种子有胚芽一样。没有胚芽，种子是不能生长的。
艾特玛托夫
Logic is the mirror of thought.
逻辑是思考的镜子。
莱布尼茨
金钱当然是一种专横跋扈的权力，同时也是最高的平等，它的全部主要力量就在这一点上。金钱会把一切不平等削平。它是被铸造出来的自由。
陀思妥耶夫斯基
The game is afoot.
游戏开始了。
理查德·拉索
爱上上帝是最伟大的浪漫；寻求祂是最伟大的冒险；找到祂是最伟大的人类成就。
奥古斯丁
头顶上，星星悄无声息地熄灭了。
Overhead, without any fuss, the stars were going out.
亚瑟·查理斯·克拉克
人的肉体很可能只是一个外表，它把我们的真象隐藏起来，把我们的光明和阴暗面弄得模糊不清。唯有人的心灵才是真实的。严格说来，相貌不过是一种面具。真正的人在人的内部。如果我们能够窥见被人叫做肉体的幕后隐藏着的那个人，我们会大大吃一惊哩！一般人的错误，在于把外表当做实际。
雨果
最终，我们记住的不是敌人的话语，而是朋友的沉默。
In the end, we will remember not the words of our enemies, but the silence of our friends.
伊斯梅尔·卡达莱
最有影响力的教师是那些能够让学生反思自己行为的教师。
杜威
只有获得胜利的可能性非常大时，才可进行决战。
恩格斯
思考我们如何做出决定是有好处的，因为这将最终决定我们的生活质量。
瑞·达利欧
不是你的心，就是现世，必须变冷和寂灭。那么，午夜和晨光、你和恬静才能汇合。
雪莱
Twitter是个战场，如果有人要跳进来，那就好像意味着：你已经进入战场，让我们开战吧！
埃隆·马斯克
你们或许要说：希特勒先生，我需要一个工作，一块面包。是地。你的说法很对，生命实在是太重要了。但是我要告诉你们。这世界上还有一种东西比生命更重要，那是自由！那就是尊严！”只要阿尔萨斯和洛林上空一日还飘扬着法国的国旗，我们的尊严就不存在！只要那些法国人、英国人在我们的国土上横行霸道，我们地尊严就不存在！只要在欧洲的版图上，这个叫德国的国家四分五裂积弱不堪。我们的尊严就不存在！只要其他国家的人，在聊天的时候说到德国这个字眼的时候会发出一声轻蔑的笑声，我们的尊严就不存在！”我们需要的，不是一块面包！而是一个生存空间！一个民族地生存空间！这生存空间，不是靠乞求和抗议来实现的，而是靠铁和血来实现的！”
阿道夫·希特勒