成功验证的关键是从系统应该做什么的清晰和精确的规范开始。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

约瑟夫·斯法基斯

故备者，国之重也；食者，国之宝也；兵者，国之爪也；城者，所以自守也。

王尔德

沉醉于你含情脉脉的眼神和柔情似水的言语，流连于你指尖下的烟柳画桥，如风般惬意，如诗般优雅。

佚名

子君不在我这破屋里时，我什么也看不见。在百无聊赖中，随手抓过一本书来，科学也好，文学也好，横竖什么都一样；看下去，看下去，忽而自己觉得，已经翻了十多页了，但是毫不记得书上所说的事。只是耳朵却分外地灵，仿佛听到大门外一切往来的履声，从中便有子君的，而且橐橐地逐渐临近，——但是，往往又逐渐渺茫，终于消失在别的步声的杂沓中了。我憎恶那不像子君鞋声的穿布底鞋的长班的儿子，我憎恶那太像子君鞋声的常常穿着新皮鞋的邻院的搽雪花膏的小东西！

鲁迅

We must dare to think differently and challenge the status quo.

我们必须敢于不同思考，挑战现状。

曾毓群

我们死去时，心中装满了爱人和部落，我们吞下的味道，我们投入并游过的身体，仿佛智慧的河流，我们爬进去的角色，仿佛树木，我们藏身的恐惧，仿佛洞穴。

We die containing a richness of lovers and tribes, tastes we have swallowed, bodies we have plunged into and swum up as if rivers of wisdom, characters we have climbed into as if trees, fears we have hidden in as if caves.

迈克尔·翁达杰

入道场而随喜，则修行之念勃兴；登邱墓而徘徊，则名利之心顿尽。

陈继儒

苦乐全凭自已判断，这和客观环境并不一定有直接关系，正如一个不爱珠宝的女人，即使置身在极其重视虚荣的环境，也无伤她的自尊。拥有万卷书的穷书生，并不想去和百万富翁交换钻石或股票。满足于田园生活的人也并不艳羡任何学者的荣誉头衔，或高官厚禄。

史铁生

不要害怕失败，因为它往往是成功的前奏。

路遥

自重者然后人重，人轻者便是自轻。

周希陶

The power of a man, to take it universally, is his present means, to obtain some future apparent good.

普遍来说，一个人的力量是他目前的手段，用来获得某些未来的明显好处。

托马斯·霍布斯

一个从不犯错误的人，一定从来没有尝试过任何新鲜事物。

爱因斯坦

I just try to play my game and have fun. When I have fun, I play better.

我只是尽力打好我的比赛并享受乐趣。当我享受比赛时，我会打得更好。

ZywOo

一个人思虑太多，就会失去做人的乐趣。

莎士比亚

秘密是心灵的负担，但也是心灵的财富。

麦家

知识是使人类快乐的主要因素之一。

罗素

什么目标都不在天上，走，就能到。

李开复

消灭人性的最有效的办法也是消灭欲望。

史铁生

苦乐全凭自已判断，这和客观环境并不一定有直接关系，正如一个不爱珠宝的女人，即使置身在极其重视虚荣的环境，也无伤她的自尊。拥有万卷书的穷书生，并不想去和百万富翁交换钻石或股票。满足于田园生活的人也并不艳羡任何学者的荣誉头衔，或高官厚禄。赏析：你的爱好就是你的方向，你的兴趣就是你的资本，你的性情就是你的命运。各人有各人理想的乐园，有自已所乐于安享的花花世界。

史铁生

钟表把时间再现为独立而精确的顺序，文字使大脑成为书写经历的石碑，电报把新闻变成商品。

尼尔·波兹曼

—— 请按键盘 空白键 开始游戏 ——

—— 请按键盘空白键开始游戏 ——