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

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我使劲咽住，但是我使的劲儿太大，满腔热泪把胸口挣裂了。
杨绛名人名言哲理格言警句语录 杨绛
The customer is always right, even when they're wrong.
顾客永远是对的，即使他们是错的。
艾伦·舒格名人名言哲理格言警句语录 艾伦·舒格
我从微明的早起就进入了漫长的黄昏，其间有许多思想扎下了根，并发展了它们自己。
梭罗名人名言哲理格言警句语录 梭罗
富贵心因奸巧得，功名全仗邓通成。
兰陵笑笑生名人名言哲理格言警句语录 兰陵笑笑生
思想，只容心中游漾，刚拿起笔来，神趣便飞去了。
冰心名人名言哲理格言警句语录 冰心
一切伟大的科学理论都意味着对未知的新征服。
卡尔·波普尔名人名言哲理格言警句语录 卡尔·波普尔
他们感到无聊透顶，以至于觉得自己生病了，枯燥的生活，会以某种难以诊断的莫名方式摧毁人，让大脑反应迟钝，让思维偏离轨道。
多丽丝·莱辛名人名言哲理格言警句语录 多丽丝·莱辛
毛泽东领导者的责任，归结起来，主要地是出主主意，用干部两件事。
毛泽东名人名言哲理格言警句语录 毛泽东
人生苦短，道路漫长，我们走向并真爱每一处风光，我们不停的走着，不停地走着的我们也成了一处风光。
汪国真名人名言哲理格言警句语录 汪国真
如果你不愿意努力工作，就别指望成功。
If you’re not willing to work hard, don’t expect success.
艾伦·舒格名人名言哲理格言警句语录 艾伦·舒格
The best ideas often come from unexpected places.
最好的想法往往来自意想不到的地方。
詹姆斯·西蒙斯名人名言哲理格言警句语录 詹姆斯·西蒙斯
一路上有你，苦一点也愿意。
张学友名人名言哲理格言警句语录 张学友
伟大的人是决不会滥用他们的优点的，他们看出他们超过别人的地方，并且意识到这一点，然而绝不会因此就不谦虚。他们的过人之处越多，他们越认识到他们的不足。
卢梭名人名言哲理格言警句语录 卢梭
初秋时那种忧郁的、蓝蓝的色调和暮色融和在一起，笼罩住村庄、顿河、一道道石灰岩山梁、顿河左岸那隐藏在紫色烟雾中的树林、原野。大道拐弯的路口边，隐隐露出小教堂的尖顶。
米哈依尔·肖洛霍夫名人名言哲理格言警句语录 米哈依尔·肖洛霍夫
重温几次，结局还是失去倪！
周杰伦名人名言哲理格言警句语录 周杰伦
诗歌是心灵的行为，而不是世界的转录。
The poem is an act of the mind, not a transcription of the world.
路易丝·格吕克名人名言哲理格言警句语录 路易丝·格吕克
初闻征雁已无蝉，百尺楼高水接天。
李商隐名人名言哲理格言警句语录 李商隐
只有经历过地狱般的磨砺，才能练就创造天堂的力量；只有流过血的手指，才能弹出世间的绝响。
泰戈尔名人名言哲理格言警句语录 泰戈尔
I do not wish them [women] to have power over men; but over themselves.
我不希望她们[女性]对男性拥有权力，而是对她们自己拥有权力。
玛丽·沃斯通克拉夫特名人名言哲理格言警句语录 玛丽·沃斯通克拉夫特