"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
获得朋友的唯一方法就是先成为朋友。
The only way to have a friend is to be one.
亨利·华莱士名人名言哲理格言警句语录 亨利·华莱士
痛苦越深，艺术越深刻。
The deeper the pain, the more profound the art.
韩江名人名言哲理格言警句语录 韩江
人的一生从此就是一场对肯定的幸福的刻意狩猎，而这种幸福，也就是由肯定性质的快感、欢娱所构成。在这场追逐中，人们必须冒许多的风险。一般来说，这场对实属子虚乌有的猎物的追逐都会带来实在、肯定的不幸。各种不幸体现为苦痛、疾病、烦恼、忧患、损失、贫困、耻辱，等等。
叔本华名人名言哲理格言警句语录 叔本华
瀑布歌唱道：“当我找到了自己的自由时，我找到了我的歌。”
The waterfall sing,"I find my song,when I find my freedom."
泰戈尔名人名言哲理格言警句语录 泰戈尔
福气不是自外而来的，而是自内而生的。一个人若享真正的福气，或是人世间各式各样儿的福气，必须有享福的德性，才能持盈保泰。在有福的人面前，一缸清水会变成雪白的银子；在不该享福的人面前，一缸银子也会变成一缸清水。 
林语堂名人名言哲理格言警句语录 林语堂
有些人在你生命中只是昙花一现，却留下一生的回忆。
余华名人名言哲理格言警句语录 余华
感情的事，本来就不可预测。因为这不是一种计划，要按照计划去做。所以感情要发展到双方认为该结婚的时候，就是结婚最好。
林青霞名人名言哲理格言警句语录 林青霞
人生的整个轨迹可能就这样被改变：仅仅因为什么也没做。
This is how the entire course of a life can be changed: by doing nothing.
伊恩·麦克尤恩名人名言哲理格言警句语录 伊恩·麦克尤恩
写作是我呼吸的方式。
诺拉·罗伯茨名人名言哲理格言警句语录 诺拉·罗伯茨
与你的愿望保持一致的行动，不要只停留在想象中。
迈克尔·劳塞尔名人名言哲理格言警句语录 迈克尔·劳塞尔
善性是难能可贵的，也是高尚和值得称赞的。
亚里士多德名人名言哲理格言警句语录 亚里士多德
我翻开历史一查，这历史没有年代。歪歪斜斜的每页上都写着“仁义道德”几个字，我横竖睡不着，仔细看了半夜，才从字缝里看出来，满本上都写着两个字“吃人"!
鲁迅名人名言哲理格言警句语录 鲁迅
勇气不是没有恐惧，而是战胜恐惧。
"Courage is not the absence of fear, but the triumph over it."
艾琳·亨特名人名言哲理格言警句语录 艾琳·亨特
她的眼睛同灯光重叠的那一瞬间，就像在夕阳的余晖里飞舞的妖艳而美丽的夜光虫。
川端康成名人名言哲理格言警句语录 川端康成
干工作一定要有激情，年纪不是问题，关键是你，想不想干，敢不敢干！
宗馥莉名人名言哲理格言警句语录 宗馥莉
有一种寂寞，身边添一个可谈的人，一条知心的狗，或许就可以消减。有一种寂寞，茫茫天地之间余舟一芥的无边无际无着落，人只能各自孤独面对，素颜修行。
龙应台名人名言哲理格言警句语录 龙应台
El arte de escribir consiste en encontrar la belleza en lo ordinario.
写作的艺术在于在平凡中发现美。
塞尔吉奥·皮托尔名人名言哲理格言警句语录 塞尔吉奥·皮托尔
最好的决策是结合数据和直觉做出的。
The best decisions are made with both data and intuition.
奇普·伯格名人名言哲理格言警句语录 奇普·伯格
你要长寿么？那么你就该清心寡欲，这就能免去一切痛苦、忧愁，避开一切呕心沥血的搏斗和失败的苦恼，然而你的生活也就无所谓欢乐，无所谓幸福，你想快乐吗？你有欲望吗？那么就以你的生命为代价去争取吧！
巴尔扎克名人名言哲理格言警句语录 巴尔扎克