"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
诗人是无形之物的画家，是无形之物的雕塑家。
A poet is a painter of the invisible, a sculptor of the intangible.
弗雷德里克·米斯特拉尔
但是，那不可征服的私心永远要践踏对手，就像河水总是向前奔流，向前，向前；尽管它也承认，对人们来说，没有任何目标，却依然勇往直前；这种不可征服的私心使她的双颊泛红，显得很年轻，很健康；她的眼睛闪亮，身子微微颤抖地坐着，裙子散在膝上，针插在绿绸末端。他在恋爱！可不是爱她。当然是爱一个更年轻的女人。
弗吉尼亚·伍尔芙
即便是家人也要分清彼此，强迫他人，自己和对方都很痛苦。
中村恒子
曾经的你，信誓旦旦承诺绝对不要变成你所鄙视的大人，却被社会潜移默化，以为失去了选择的自由。但小王子却一次又一次告诉你，其实你是可以选择成为你心中的自己，而不是规则的产物。
安托万·德·圣-埃克苏佩里
你从远方来，我到远方去，遥远的路程经过这里，天空一无所有，为何给我安慰。
海子
每个人都应该祈祷自己有一颗健康的心存在于一个健康的身体。
夸美纽斯
不是发自内心的东西，就不能带来真正的改变。
罗伯特·戴博德
俄国政府两年前实行的政策，其原则与方针与我政府是完全不同的。但是俄国政府的现行政策——新经济政策，其主要点与应在中国实行的我的如出一辙。
——与日本广州新闻社记者的谈话，1924年3月
孙中山
在一切创造物中间没有比人的心灵更美、更好的东西了。
海涅
世间万物都是由能量构成，而所有的能量都是以频率和振动的方式在移动。当你大声说出一个宣言，它的能量就会穿透你身体里的细胞，而假如这时候你同时还碰触着自己的身体，你就能感觉到它特殊的共鸣。宣言不但能把一个特殊的讯息传达到宇宙中，也能把一个强而有力的讯息传送到你的潜意识里。这是我们想要看到的未来。
哈维·艾克
No one is altogether to be blamed for the defects of his nature； but he is blameworthy if he takes no pains to correct them.  
无人应为其天性缺陷受全责；但若不加努力改正，便应受责。
托马斯·亨利·赫胥黎
The web is a reflection of our society and a window into our souls.
网络是我们社会的反映，也是我们灵魂的窗口。
蒂姆·伯纳斯-李
不是境况造就人，而是人造就境况。
陈果
美是一种自然优势。
亚里士多德
Never overtrade.
永远不要过度交易。
威廉·江恩
到门口一人发一小纸条上面写着“此塔是紫檀的”。
马未都
The public interest theory of regulation holds that regulation is supplied in response to the demand of the public for the correction of inefficient or inequitable market practices.
监管的公共利益理论认为，监管是为了回应公众对纠正低效或不公平市场行为的需求而提供的。
乔治·斯蒂格勒
在我有生之日，做一个真诚的人，不放弃对生活的热爱和执着，在有限的空间里过无限广大的日子。
三毛
这个时代的特性是——分裂——这个时代再也没有真实感了。人们再也无法找到自信以立足于这个世界。每个人都活在明天里，然而这些人再也没有明天。
尼采