"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
三皈依：由灭中见不灭，悲伤中见欢喜，残暴中见人性，丑恶中见至美。无明遮蔽了人们的视线，我们拨开这样的幻象，那一切苦，一切忧自然息止，我们的内心，慈爱与宽容开始觉醒，众生情感，皆是一般。
释迦牟尼
过去并未死去；它甚至还未过去。
The past is not dead; it is not even past.
J·M·库切
武道，不是用来争强好胜的，而是用来守护的。
老鹰吃小鸡
浮云陈而蔽晦兮，使日月乎无光。
东方朔
Losing is not my enemy... fear of losing is my enemy.
失败不是我的敌人...害怕失败才是我的敌人。
拉斐尔·纳达尔
只有在教师绝不要求或管束他人的情况下，一个孩子才会敞开心扉。
苏霍姆林斯基
不管我到什么地方去，我是去找快乐的。我决不会到什么地方去找痛苦， 因为我生来就是个寻欢作乐的人。只有痛苦找到我头上，我才会痛苦。
狄更斯
望得见的地方是战略转折的拐弯点。
任正非
一切事物都由四种元素构成：土、气、水、火。
恩培多克勒
要对自己诚实，尤其是对她；如果你感受到的不是爱情，就别让人家有期待，她是个好女孩。
马克·李维
A Christian is a perfectly free lord of all, subject to none. A Christian is a perfectly dutiful servant of all, subject to all.
基督徒是完全自由的主人，不受任何人支配。基督徒是完全尽职的仆人，受所有人支配。
马丁·路德
一个社会越远离真相，它就越害怕揭示真相的人。
乔治·奥威尔
做人做事兼顾并重，透过好好做人来把事情做好。
曾仕强
国无常治，又无常乱，法令行则国治，法令弛则国乱。
王符
不能说我们总要多热爱生活，但总要有一颗懂得欣赏和珍惜的心。
贝蒂·史密斯
不要试图挤进不属于自己的圈子，先让自己变得有价值。
顾及
不能不考虑自己走的路是否合适，就不加思索地沿着这条路走下去，而应该考虑自己的才能和志趣，并按照这种才能和志趣改变自己的道路。
托马斯·哈代
在商业中，你得到的不是你应得的，而是你谈判得到的。
"In business, you don't get what you deserve, you get what you negotiate."
迈克尔·布隆伯格
我就是我，性格即命运，命运就是上帝。
库切