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

模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
情之为物，本是如此，入口甘甜，回味苦涩，而且遍身是刺，你就算小心万分，也不免为其所伤。
金庸名人名言哲理格言警句语录 金庸
唯当人存在，才有真理存在。唯当人存在，牛顿定律、矛盾律才在，无论什么真理才在。
马丁·海德格尔名人名言哲理格言警句语录 马丁·海德格尔
真正的智慧不在于你知道多少，而在于你如何运用你所知道的。
乔斯坦·贾德名人名言哲理格言警句语录 乔斯坦·贾德
生活是一种人人须学而无人能教的艺术。
To live remains an art which everyone must learn，and which no one can teach.
苏格拉底名人名言哲理格言警句语录 苏格拉底
制造链式反应机器的基本点当然是确保每次裂变产生一定数量的中子，其中一些中子将再次产生裂变。
The fundamental point in fabricating a chain reacting machine is of course to see to it that each fission produces a certain number of neutrons and some of these neutrons will again produce fission.
恩里科·费米名人名言哲理格言警句语录 恩里科·费米
人生中最大的错误就是不断担心自己会犯错。
The greatest mistake you can make in life is to be continually fearing you will make one.
阿尔伯特·哈伯德名人名言哲理格言警句语录 阿尔伯特·哈伯德
智慧、友爱，这是照亮我们的黑夜的惟一光亮。
罗曼·罗兰名人名言哲理格言警句语录 罗曼·罗兰
Light is what makes architecture alive.
光是让建筑鲜活的东西。
斯维勒·费恩名人名言哲理格言警句语录 斯维勒·费恩
我建筑中的曲线不是随意的。它们是对环境、光线和运动的有目的回应。
The curves in my buildings are not arbitrary. They are purposeful responses to context, light and movement.
弗兰克·盖里名人名言哲理格言警句语录 弗兰克·盖里
危机发生，经济崩溃，然后再复活——这一经济周期循环的规律我是从人生经验和历史书籍中学到的。
吉姆·罗杰斯名人名言哲理格言警句语录 吉姆·罗杰斯
不管怎么着，我救了一代人。不管是多是少，她们后面过得比我好，比我幸福，就足够了，这是对我最大的安慰。
张桂梅名人名言哲理格言警句语录 张桂梅
我不应把我的作品全归功于自己的才智，还应归功于我以外向我供应素材的成千成万的事情和人物。须用人世间的材料进展工作，才能使人理解;同时他又是自然的主宰，由于他使这种人世间的材料听从他的较高的意旨，并且为这较高的意旨效劳。
歌德名人名言哲理格言警句语录 歌德
哪里有统治，哪里就有群众；哪里有群众，哪里就需要奴性；哪里有奴性，哪里就少有独立的个人；并且，这少有的个人还具备那反对个体的群体直觉和良知呢。
尼采名人名言哲理格言警句语录 尼采
当一家有实力的大公司遇到一次巨大但可以化解的危机时，一个绝好的投资机会就悄然来临。
巴菲特名人名言哲理格言警句语录 巴菲特
热心对待工作，真心呵护幼儿。我的一生始终保持着这样一个信念生命的意义在于付出，在于给予，而不是接受，也不是在于争取。
巴金名人名言哲理格言警句语录 巴金
天才经常孤立地降生，有着孤独的命运。天才是不可能遗传的，天才经常有着自我摒弃的倾向。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞
当你变得更真实（genuine)，你就会变得更和谐。
约翰·贝曼博士名人名言哲理格言警句语录 约翰·贝曼博士
无论是在你的产品还是在营销方面，这种力量都不可低估。
梅勒妮·珀金斯名人名言哲理格言警句语录 梅勒妮·珀金斯
我觉得无论你是土财主还是洋财主，土穷光蛋还是洋穷光蛋，只要自己活得开心，而且坚持了自我，就是成功人士。从这个意义上，别人说我是成功人士，我也不否认这一点，尽管我是个穷光蛋。
罗永浩名人名言哲理格言警句语录 罗永浩