"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 deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
萨拉马戈