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

成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
如果可能的话，和平；不惜一切代价，真理。
Peace if possible, truth at all costs.
马丁·路德名人名言哲理格言警句语录 马丁·路德
天下者非一人之天下，惟有道者处之。
姜子牙名人名言哲理格言警句语录 姜子牙
没有烤架，地狱是别人的。
让-保尔·萨特名人名言哲理格言警句语录 让-保尔·萨特
正确的爱应该以仰慕为基础，而且我们应该去爱那些对我们有教育意义的先贤。
查理·芒格名人名言哲理格言警句语录 查理·芒格
上帝与魔鬼在那里搏斗，战场便在人们的心中。
陀思妥耶夫斯基名人名言哲理格言警句语录 陀思妥耶夫斯基
你那沉默的高傲总是不合他们的胃口，换来他们的敌意，只有当你谦卑得近于轻浮时，他们才会露出舒心的笑，兴奋时还会手舞足蹈。
尼采名人名言哲理格言警句语录 尼采
父母们想知道为什么溪流是苦的，而他们自己却毒害了泉水。
Parents wonder why the streams are bitter, when they themselves have poisoned the fountain.
约翰·洛克名人名言哲理格言警句语录 约翰·洛克
软件领域以外的人可能没听过“弱即是强”，所以意识不到这种模式在艺术领域普遍存在。
保罗·格雷厄姆名人名言哲理格言警句语录 保罗·格雷厄姆
我不要孤独，孤独是丑的，令人作呕的，灰色的.我要和你相通，共存，还有你的温暖，都是迷人的啊！可惜我不漂亮。
王小波名人名言哲理格言警句语录 王小波
通往心灵的道路是耳朵。
The road to the heart is the ear.
欧·亨利名人名言哲理格言警句语录 欧·亨利
上帝给了我们自由意志，这意味着我们有时会犯错，但也意味着我们有能力去纠正这些错误。
艾萨克·辛格名人名言哲理格言警句语录 艾萨克·辛格
对于民主社会的公民来说，再没有什么比获得对高谈阔论的免疫力更加重要。
罗素名人名言哲理格言警句语录 罗素
把人类看做虫子的三体人似乎忘记了一个事实：虫子从来没有被战胜过。
刘慈欣名人名言哲理格言警句语录 刘慈欣
兄宜爱弟，弟宜恭兄，饮食相让，财物公同。
周秉清名人名言哲理格言警句语录 周秉清
只有对男人祛魅，女人才能迎来真正的胜利。
余华名人名言哲理格言警句语录 余华
彼无望德，此无示恩，穷交所以能长；望不胜奢，欲不胜餍，利交所以必忤。
陈继儒名人名言哲理格言警句语录 陈继儒
从本质上来讲，儿童的爱是单纯的，他爱，是为了获得感官印象，这种印象又给他提供了生长的养料。
蒙台梭利名人名言哲理格言警句语录 蒙台梭利
任何领域的专业知识都涉及基本技能的自动化，从而释放注意力用于更高层次的性能表现。
Expertise in any domain involves the automation of basic skills, freeing attention for higher-level aspects of performance.
迈克尔·波斯纳名人名言哲理格言警句语录 迈克尔·波斯纳
宁愿高傲地发霉，也不要委屈地恋爱。
张小娴名人名言哲理格言警句语录 张小娴