The challenge in model checking is not just to find errors, but to understand why they occur.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

埃德蒙·克拉克

每个人心里面都有一些记忆，在某个深夜的时候，翻涌而出。舍不得的人，却总在落叶的季节离开。

村井贞之

明天你要劝说某人去做某件事，在你尚未开口前，不妨自己先问：我如何能使他要做这件事？

卡耐基

我们所做的一切，也许就如冬天的阳光，在一些人倍感寒冷时给她们带来了温暖和希望。而以后，那些因为上了大学，彻底改变了人生的女孩子，也将会像阳光一样，温暖她们曾经寒冷的家。

张桂梅

学者贵知其当然与所以然，若偶能然，不得谓为学。

孙中山

愈艰难，就愈要做。改革，是向来没有一帆风顺的。

鲁迅

ORDER. Let all your things have their places; let each part of your business have its time.

秩序：物归其位，事有定期。

富兰克林

我们欠缺的便是爱及关系之中的温暖与诚挚。因为我们缺乏爱、温柔、慈悲以及慷慨的心胸，所以才会逃脱到群众活动里，制造出了更多的困惑和不幸。

克里希那穆提

你和别人没有任何的不同。

You are no different than anybody else is.

温斯顿·格鲁姆

让你的思维如水一般没有束缚，招式变幻的伟大可以在水中得到启迪。

李小龙

Мы должны быть сильными в экономике, в политике, в военном деле, в технологиях.

我们必须在经济、政治、军事和技术上强大。

弗拉基米尔·普京

义者无敌，骄者先灭。

司马光

你会不会忽然的出现，在街角的咖啡店，我会带着笑脸，和你寒暄，不去说从前，只是寒暄，对你说一句，只是说一句，好久不见。

徐志摩

每一个挑战都是学习和成长的机会。

Every challenge is an opportunity to learn and grow.

艾米丽·泰勒

成功没有捷径。你必须每天努力工作。

There is no shortcut to success. You have to work hard every single day.

诺瓦克·德约科维奇

当爱情向你招手时，跟随他，尽管他的道路艰难险阻。

纪伯伦

及时是尊重的表现。

凯文·凯利

A leader is one who knows the way, goes the way, and shows the way.

领导者是知道方向、走在前方并指引方向的人。

约翰·C·麦克斯韦

The heart is the household divinity which, discharging its function, nourishes, cherishes, and quickens the whole body.

心脏是家中的神祇，履行其职责，滋养、珍爱并激活整个身体。

威廉·哈维

乌尔苏拉：“阿玛兰妲的这两样行为都属于无穷爱意与无法战胜的胆怯间的殊死较量。”

加西亚·马尔克斯

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

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