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

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
"Through literature, we can understand the soul of a nation."
通过文学，我们可以理解一个民族的灵魂。
利吉亚·费尔南德斯·特莱斯名人名言哲理格言警句语录 利吉亚·费尔南德斯·特莱斯
普通人只想到如何度过时间，有才能的人设法利用时间。 
叔本华名人名言哲理格言警句语录 叔本华
一切有权利的人都会滥用权力，这是万古不易的一条经验。
孟德斯鸠名人名言哲理格言警句语录 孟德斯鸠
一个人的能力有限，只有依靠团队才能实现更大的成功。
雷军名人名言哲理格言警句语录 雷军
如果你总是能够颠覆自己错误的想法，那将是非常棒的天赋。
查理·芒格名人名言哲理格言警句语录 查理·芒格
你是什么样的人，我就拿你当什么样的人看待，准没错。
张爱玲名人名言哲理格言警句语录 张爱玲
我们所有最大悲哀就就是嬉戏，原因就是嬉戏最能妨碍我们的思考，而且能使我们在不知不觉中死亡。
汤姆·舒尔曼名人名言哲理格言警句语录 汤姆·舒尔曼
如果人只根据自己的经验计算利害得失，不可避免地会走向庸俗。这种功利观一定会让人追求现实的快乐，追逐眼前的利益，在勇敢和懦弱之间，后者往往是最佳的选择。
罗翔名人名言哲理格言警句语录 罗翔
让我的痛苦，我的寂寞，我的热情化成一行一行的字留在纸上。我过去的爱和恨，悲哀和欢乐，受苦和同情，希望和挣扎，一齐来到我的笔端。
巴金名人名言哲理格言警句语录 巴金
智慧和勇气两者应该是相辅相成的。有智慧而没有勇气的人，多是空想家，很多事无法付诸实践。有勇气但缺乏智慧的人，则是有勇无谋，往往都是鲁莽之士，做事事倍功半不说，有时候还会无端闯出祸端。如果说有智慧而没有勇气的人容易被威逼，那么有勇气而没有谋略的人则容易被利诱。总之，勇与谋两者取其一，都不会有什么大成就，只有有勇有谋的人，才能成大事。
李开复名人名言哲理格言警句语录 李开复
财富的真正意义在于它如何被使用，而不仅仅在于它的数量。
哈维·艾克名人名言哲理格言警句语录 哈维·艾克
人固有一死，死有重于泰山，或轻于鸿毛。
司马迁名人名言哲理格言警句语录 司马迁
这些变化对于有准备、有能力的创始人都是机会，以前那种“劣币扰市”的现象会少很多。
张颖名人名言哲理格言警句语录 张颖
有人向我挑战，说“你放马过来”。我不回话，只是疾驰而去，然后马后炮打倒他。
李敖名人名言哲理格言警句语录 李敖
法律总是要遇到立法者的感情和成见的。
孟德斯鸠名人名言哲理格言警句语录 孟德斯鸠
But there is no such liberty as the power to dispose of what we please.
但没有这种自由，即随心所欲地支配我们所愿的一切。
约瑟夫·巴特勒名人名言哲理格言警句语录 约瑟夫·巴特勒
细节不是细节；它们成就了设计。
The details are not the details; they make the design.
吉姆·麦克莱伦名人名言哲理格言警句语录 吉姆·麦克莱伦
城市的记忆存在于它的建筑中，拆掉老建筑就是抹去记忆。
王澍名人名言哲理格言警句语录 王澍
不要让外界的声音干扰到你自己内心的声音。
张爱玲名人名言哲理格言警句语录 张爱玲