"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
浪费七年时间认清一个人，总比浪费一辈子强吧！
亦舒
只有在包容的环境里，写作个性才有可能产生。
蒋军晶
等你生活中眞有了生老病死这样的大事，才会知道，自己以前半夜忧伤的都是屁大点事。
莫言
The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.
写作是一种乐观的行为。如果你觉得它不重要，你就不会费心去做。
J·M·库切
人之为人就在于人是一种精神的存在，生命的存在唯有灵魂，作为精神存在的最核心要素在于对生命的价值与意义的领悟。领悟来源于启示，来源于仰望。
肖川
你的另一半，决定着你的高度。关于恋爱，找一个能让你进步的人，很重要：找一个能让彼此进步的人，更重要。
李尚龙
人类百分之七十的烦恼都和金钱有关，并不是他们没有足够的钱，而是不知道如何支配手中已有的钱！
卡耐基
我手里只要有一本书，就不会觉得浪费时间。
查理·芒格
新兴的群众运动把血缘和朋友关系视为一种会减损群体向心力的东西……相互猜疑可以带来相互恐惧，而这种相互恐惧会像一个铁环套那样把大家紧紧套在一起。
埃里克·霍弗
考虑到人可以从错误中学习，那么，最好的事情就是从别人的错误中学习。
巴菲特
现代企业管理包括几个大的方面：一是战略和文化，二是组织行为，三是量化分析，四是科技创新，五是市场运作。
宋志平
爱一辈子也好，恨一辈子也好，终究是要让你记我一辈子。
籽月
不要急着决定，因为你经过一夜的深思熟虑之后，会涌现出更好的智慧。
普希金
我不埋怨你，我爱你，爱的就是这个你：感情炽烈，生性健忘，一见倾心，爱不忠诚。
斯蒂芬·茨威格
We don't just make furniture - we create environments where life happens.
我们不只是制造家具，我们创造生活发生的环境。
大卫·克拉克
我从未打算出名。我只是想演奏音乐。
I never set out to be famous. I just wanted to play music.
诺拉·琼斯
The only way to survive is to take care of each other.
生存的唯一方法就是互相照顾。
迈克尔·坎宁安
我对现实的所有欲望随她的离去而消逝。我生活在怀旧之中，不停地回顾与她共度的时光。我的眼睛从未真正睁开过，只是向后，向记忆深处回眸。
阿兰·德波顿
你的时间有限，所以不要为别人而活。不要被教条所限，不要活在别人的观念里。不要让别人的意见左右自己内心的声音。最重要的是，勇敢的去追随自己的心灵和直觉，只有自己的心灵和直觉才知道你自己的真实想法，其他一切都是次要。
史蒂夫·乔布斯