"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
如果你想知道一位朋友的脾气、道德水准和优雅程度，你需要在严峻的环境考验下，而不是在玫瑰色的日常生活中观察他。实际上，正常的东西经常是不重要的。
塔勒布
The world is full of magical things patiently waiting for our wits to grow sharper.
世界上充满了神奇的事物，耐心地等待着我们的智慧变得更加敏锐。
皮埃尔·穆勒
希望世间能有的人珍视自己的每一步脚印，勤于纪录、乐于重温、善于修正，让人生的前前后后能够互相灌溉，互相滋润。
余秋雨
我以为有三位大人物的三条在从秦汉到民国的两千几百年民俗心态中一直起作用，仿佛球场上大家承认的规则。
金克木
人生不就是等和被等这两种状态么，用来丈量两者之间距离的，不过人心罢了。
唐七公子
建筑是一种思考方式，而不仅仅是一种职业。
建筑是一种思考方式，而不仅仅是一种职业。
安藤忠雄
I'm not a person who looks back. I'm always looking forward.
我不是一个回头看的人。我总是向前看。
妮可·基德曼
体育非仅运动而已，实为教育之重要部分。
张伯苓
当我们年幼时，时间的脚步是如此的缓慢，人生的前四分之一时间不但开心，也是人生中最长的一段时间。留下许多回忆。人在讲起这段时间的事情时，要远远多于其他时间。
叔本华
梦揭开了现实，而想象隐藏在现实后面。这是生活的可怕的东西——艺术的震撼人的东西。
弗兰兹·卡夫卡
Every artist dips his brush in his own soul, and paints his own nature into his pictures.
每位艺术家都将画笔浸入自己的灵魂，将自己的本性绘入画作。
托马斯·格林
我自认为这张唱功进步多了，而且偏节奏感一点。我以前的歌慢的居多，虽然很多人邀请我开演唱会，但是我就是觉得我没有什么歌能让大家有气氛，都是慢吞吞的。
赵薇
The progress of football depends not merely on the skill of the players, but on the spirit in which the game is played.
足球的进步不仅仅取决于球员的技术，还取决于比赛的精神。
查尔斯·威廉·阿尔科克
Y象小树，意味着青年正处于发展期，需要不断茁壮成长；O象太阳，青年是早晨八九点钟的太阳，充满朝气和活力；U象一个空水杯，我们要不断汲取营养，同时要虚怀若谷，谦虚谨慎；T象一个戴帽子直立行走的人，很多青年人获得了荣誉，但只是一个开端，我们不能被荣誉的帽子压弯了腰，要直立行走；H象一个单杠，希望青年在工作之余，能保持一个健康的体魄，那是本钱。这就是YOUTH，这就是青春。
王蒙
吾未见好德，如好色者也。
王阳明
未经审视的人生不值得活。
苏格拉底
技术让生活变得更高效，但它也带来了新的挑战。
比尔·盖茨
把心爱的人放在心里，他便永远活在你的心中。
安托万·德·圣-埃克苏佩里
生活中的各种过程都有它独立的意义和价值——每一刹那有每一刹那的意义与价值！每一刹那在持续的时间里，有它相当的位置。
朱自清