"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我这幅俊俏脸孔是很难洗掉的了。我自己希望到了五六十岁还是保持偶像的形象，我已经和‘偶像’结了婚，但‘实力’可以是我的‘小老婆’，我有时会带她出来走走也说不定。
刘德华
大雨可以延迟我们到达的时间，但不能阻止我们前进。
卢梭
未来属于那些能真正理解用户的人。
马化腾
Pleasures， then， and the avoidance of pains， are the ends that the legislator has in view.
因此，乐趣和避免痛苦是立法者所考虑的目标。
杰瑞米·边沁
只参与行业内最有前景的领域，剥离没有创新空间的部门。
杰克·韦尔奇
不知道决不是祸害，有害的只是迷惑。迷惑的人往往不是因为他不知道，而是因为他认为自己知道。
卢梭
I hope my music can transcend time and become classic.
我希望我的音乐能跨越时代，成为经典。
周杰伦
企业里所有的问题都是人的问题，人的问题是最大的问题！没有合格的人，就做不出好的质量；没有合格的人才，也没有正确的思路。
张瑞敏
有人说我变了，其实我原来什么样现在还什么样，只不过原来在井里一身泥，有人在井边看我，觉得挺好玩。后来我上来了，洗干净换身衣服开车走了，井边这人说我膨胀了。其实不是我膨胀，是他失落了。我自己又何尝不是这样感觉他人，真的很惭愧。
郭德纲
I believe in the discipline of mastering the best that other people have ever figured out.
我相信去掌握其他人已经发现的最佳知识的纪律。
查理·芒格
城市化，社会动员，识字率和教育水平的提高，通信和媒体应用的加强，与西方和其他文化的相互作用的扩大。这些发展破坏了传统的乡村和氏族纽带，造成了异化和认同危机。
萨缪尔·亨廷顿
The best stories are not found in books, but in the eyes of those who have lived them.
最好的故事不在书中，而在那些经历过的人的眼睛里。
伊莎贝尔·莫雷尔
远方除了遥远一无所有更远的地方，更加孤独远方的幸福，是多少痛苦。
海子
It's time for a show down! You and me!
咱们来较量一下吧！你和我！
温斯顿·格鲁姆
有些人很困惑，为什么我会再次担任星巴克的首席执行官，为什么我会留下来。“他根本不需要这样做，为什么他还这么积极呢？”答案很简单，我喜欢这个公司以及随之而来的责任。
霍华德·舒尔茨
"The power of literature lies in its ability to make us feel less alone."
文学的力量在于它使我们感到不那么孤独。
阿摩司·奥兹
自己要先看得起自己，别人才会看得起你。
魏书生
I don't fear failure. I fear not trying.
我不害怕失败，我害怕不去尝试。
Rain
成功人士与其他人唯一的区别就是努力和决心。
The only thing that separates successful people from the others is hard work and determination.
蕾哈娜