成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你们可以庇护孩子的身体，但不能禁锢他们的灵魂。孩子的灵魂栖息于明日之屋，那是你们在梦中也无法造访之境。
纪伯伦
人只有替自己做事才会效率很高的，替别人做事才会拖拖拉拉。
曾仕强
已经被我们这代人遗忘了的是，财产私有制是自由最重要的保障，不仅对于那些拥有财产的人是如此，对于那些没有财产的人也几乎同样如此。
哈耶克
好消息藏在寂寞里，别让热闹抢走了你的注意力。
罗振宇
这世上最幸运的，是还有人惦记着你。
佚名
美是真的光辉。从人世间个别的美的事物开始，逐渐提升到最高境界的美。
柏拉图
一条雪浪吼巫峡，千里火云烧益州。
李商隐
明智的人更喜欢诗意，因为诗意是灵魂的事。
加缪
我们每个人都比别人讲述的故事中赋予我们的角色更复杂。
塔拉·韦斯特弗
真正的智慧是在日常生活中积累的。
叔本华
绝对不要认为，靠谈论金钱就可以给人留下深刻的印象。能够给人们留下最深刻印象的是你的知识。
吉姆·罗杰斯
你也许会反驳说，“失去自我”不可能是一种很愉快的经验。我明白你的意思。但重点是，你所失去的东西比起你所得到的东西是显得多么微不足道。你所失去的只是眼前这种形式的自我，但同时，你却会发现自己变得更广大。
乔斯坦·贾德
其实人与人之间，或为亲情或为友情或为爱情，哪一种亲密的情谊不是基于我在这里、刚好你也在这里的前提？一切的爱，不就是“同在”的缘分吗？
张晓风
我有一切应该幸福的条件，而且不管我的精神如何苦恼，我想我应该一直是幸福的，只要我始终能把内心洋溢的欣悦传达给别人。
罗曼·罗兰
生活就是行动，而行动就是斗争。
别林斯基
茫茫人海中遇见了你，没有早一步，也没有晚一步，在时间无涯的荒漠里遇见了你，原来你也在这里。
董宇辉
如果今天是你生命的最后一天，你想做什么你今天要做什么？
史蒂夫·乔布斯
在千万人之间遇见你该遇见的人，于千万年之间，在时间的无涯的荒野里，没有早一步，也没有晚一步，刚好遇见了，没有什么话好说，只能轻轻地问一句:“哦，你也在这里？”
张爱玲
每一个女子的灵魂中都同时存在红玫瑰和白玫瑰，但只有懂得爱的男子，才会令他爱的女子越来越美，即使是星光一样寒冷的白色花朵，也同时可以娇媚地盛放风情。
张爱玲