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

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

约瑟夫·斯法基斯

学校管理秘诀：凡是老师能干的事主任不干，凡是主任能干的副校长不干，凡是副校长能干的事校长不干。

魏书生

真实是所有人的口号，却是极个别人的目标。

乔治·贝克莱

处理世界复杂性的唯一方法是简化它。

The only way to deal with the complexity of the world is to simplify it.

约翰·麦卡锡

世界所有前进的动力都归功于不安分的人。快乐的人不可避免地把自己限制在古老的界限内。

The world owes all its onward impulses to men ill at ease. The happy man inevitably confines himself within ancient limits.

纳撒尼尔·霍桑

偶看菜叶随流水，知有茅茨在翠微。

岳飞

百无聊赖地观赏了十几年的街头景象，我大体是在不为人所知的情况下，拼凑了一个我能信得过的人物班底。他们无名无姓，每日在我的剧本——热闹非常的活剧中跑龙套。

E・B・怀特

治疗师对一位成员给予的肯定评价或评论，很可能会引发同伴相争的感受。

欧文·亚隆

The future of democracy depends on its ability to adapt to new challenges and to renew itself.

民主的未来取决于其适应新挑战和自我更新的能力。

弗朗西斯·福山

如果你憎恨某人，你憎恨的是他身上属于你自己的某部分。与我们无关的事物不会激怒我们。

赫尔曼·黑塞

患难困苦，是磨练人格之最高学校。

梁启超

我喜欢修指甲，我喜欢打扮，我喜欢哪怕在闲暇时也涂唇膏穿盛装，我喜欢粉色。我相信快乐的女孩最漂亮。我相信明天的太阳是新的……我相信奇迹的存在。

奥黛丽·赫本

The only limits you have are the ones you set for yourself.

你唯一的限制是你给自己设定的那些。

彼得·琼斯

Life is about taking chances, trying new things, having fun, making mistakes and learning from them.

生活就是抓住机会，尝试新事物，享受乐趣，犯错误并从中学习。

贾斯汀·比伯

音乐有治愈言语无法触及的伤痛的力量。

Music has the power to heal wounds that words alone cannot touch.

亚历杭德罗·费尔南德斯

勿以群疑而阻独见，勿以己意而废人言。

范晔

好奇心和决心；在小学阶段，少儿更愿意学习社会交往技巧和语言；在中学时期，青春期会在很大程度上改变一个人的大脑功能，所以帮助孩子度过这段转型期是很重要的；在青春期后期的高中时期，人的大脑更适合学习社交、情感和分析技能。

瑞·达利欧

心态导致疾病，而意志力量可以治疗疾病——此类理论，无一例外的透露出人们对于疾病的生理方面的理解何其贫乏。

苏珊·桑塔格

季淑的家是一个典型的大家庭，人多口杂。按照旧的风俗，一个二十岁的大姑娘和一个青年男子每周约会在公共场所出现，是骇人听闻的事，罪当活埋！冒着活埋的危险在公园里游憩啜茗，不能说是无拘无束。什么事季淑都没瞒着她的母亲，母亲爱女心切，没有责怪她，反而殷殷垂询，鼓励她，同时也警戒她要一切慎重，无论如何不能让叔父们知道。所以季淑绝对不许我到她家访问，也不许寄信到她家里。

梁实秋

借助显微镜的帮助，没有什么小到能逃脱我们的探究；因此，一个新的可见世界向我们的理解力敞开了。

By the help of microscopes, there is nothing so small as to escape our inquiry; hence there is a new visible world discovered to the understanding.

罗伯特·胡克

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

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