"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The architect must balance tradition and innovation.
罗伯特·文丘里
就算希望终将被打碎，我们还是要怀抱希望，因为这会给我们力量。
曹禺
我这条腿是调戏妇女被见义勇为的人打折的。
贾玲
没有调查就没有发言权！没有正确的调查，同样没有发言权。
毛泽东
然而我们是忘却了自己曾为孩子时的情形了，将他们看作一个蠢才，什么都不放在眼里。即使因为时势所趋，只得施一点所谓教育，也以为只要付给蠢才去教就足够。于是他们长大起来，就真的成了蠢才，和我们一样了。
鲁迅
In economics, the devil is often in the details.
在经济学中，魔鬼往往藏在细节里。
保罗·米尔格罗姆
良好的教养在于隐藏我们对自己较佳的评价，以及隐藏我们对他人较差的评价。
马克吐温
没有任何的事情可以造成心理上的痛苦，痛苦是来自于你对事情的解释。痛苦是你创造出来的，因为那个是你对事情的解释。
张德芬
我认为最强大和持久的品牌都是从内心建立起来的。
I think the most powerful and enduring brands are built from the heart.
霍华德·舒尔茨
他一定曾经透过可怕的树叶仰望过一片陌生的天空，全身战栗，正如当他发觉玫瑰花是多么的丑恶，阳光照在刚刚抽出嫩芽的草地上又是多么残酷时一样，浑身发抖。
菲茨杰拉德
要在准备好时做出决定，而不是在压力之下。或为了达到个人目的，或因为内部政治斗争，或因为一些外部需求，其他人总会催促你做出决策。但几乎每次你都可以这么说：“我需要更多的时间来考虑这个问题。我想清楚了再回复你。” 即使是在最艰难、最令人不快的情况下，这种策略也非常有效。
苏世民
凡是个性强的人，都像行星一样，行动的时候，总把个人的气氛带了出来。
托马斯·哈代
我害怕有权做决定的人。
瑞·达利欧
有些东西被创造到世界上，只不过是为了紧靠着你的心口，就只生存那一瞬间的光。但那光，叫永恒。
屠格涅夫
在互联网行业，快鱼吃慢鱼，速度是核心竞争力之一。
沈南鹏
如果鸡蛋被外力打碎，那是生命的结束；如果鸡蛋被内力打破，那是生命的开始。奇迹的开端永远在事物内部。
吉姆·奎克
只有小孩子知道自己在找什么。他们把时间花费在布洋娃娃身上。因此对他们而言，洋娃娃就变得很重要。一旦有人将娃娃拿走，他们就会号啕大哭。
安托万·德·圣-埃克苏佩里
人类的性生活应当本质上跟其他动物的性生活有所不同，其中就包含性教育目的的不同。
马卡连柯
许多人相信，没有注定的人生，所有的事基本上是一连串的巧合。然而，即使抱持如是信念的人也会有这样的结论：在生命中的某一段时期，当他们回头审视，发现多年来被视为巧合的事，其实是不可避免的。
奥尔罕·帕慕克