成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
鸡多不生蛋，女人多了瞎捣乱。
王小波
The market is always right, and it doesn't care about your opinion.
市场总是对的，它不在乎你的意见。
史蒂夫·科恩
仓廪虚兮岁月乏，子孙愚兮礼义疏。
仓库里空虚了日子就会难，子孙愚笨了怎么知晓礼义呢？
周希陶
文学是一种抵抗遗忘的形式。
佚名
矮纸斜行闲作草，晴窗细乳戏分茶。素衣莫起风尘叹，犹及清明可到家。
陆游
所谓内省，就是对内心进行俯瞰内省是一种冥想，即“观察内心”。内省能够促进俯瞰力的养成，是一种既矛盾又有趣的说法。
山下英子
写作是孤独的工作，但它也是与读者的对话。
佚名
一个人最高的本领就是适应客观世界的能力。
爱因斯坦
我希望学到有关自我的意义与本质。过去我一直想要摆脱自我并征服自我，然而我从未能够征服自我，我只是在欺骗它，逃离它，躲避它。的确，世上没有任何东西能够如自我那样占据我全部的思绪。这是一个难解之谜：我存在，而且我是唯一的不同于任何其他人的独立个体。
赫尔曼·黑塞
小孩子才分对错，成年人只看利弊。杀人偿命，欠债还钱，愿赌服输，自负盈亏。
佚名
创新不是口号，而是行动。
宗庆后
对领导忠诚是你在公司存在的保命线，没业绩没成果有它你还能存在，没它了就算你再牛也P都不是，而且很快你就会臭名昭着。
董明珠
每一个存在都有其独特的目的。
恩培多克勒
最可怕的枪子并不是敌人的枪子。
大仲马
The only way to make sense out of change is to plunge into it, move with it, and join the dance.
理解变化的唯一方式是投入其中，随之而动，并加入这场舞蹈。
格哈德·里希特
驱逐鞑虏，恢复中华，创立合众政府。
——兴中会
孙中山
真正的悲剧不是发生在坏人身上，而是发生在好人身上。
托马斯·哈代
不要以为，一种观念，他是正确的，就会对我们的头脑产生作用。只有当一种观念，进入了无意识的领域，变成了一种情感，才会产生影响。
古斯塔夫·勒庞
安排自己能获得快乐，充实自己能获得知识，掌握自己能获得平安，创造自己能获得成功。
星云大师