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

模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
当你感到孤独时，你应该想到，在思索的道路上有这么多巨人开辟了荒野，并在路旁指引着你。又有这么多后来的追随者走在了你的前面，他们的足迹早已汇成了大道。你是如此渺小。你却从不孤独。
蒙田名人名言哲理格言警句语录 蒙田
只要愿意去做，人无所不通。
托马斯·艾略特名人名言哲理格言警句语录 托马斯·艾略特
夕阳最美时，也总是将近黄昏。世上有很多事都是这样子的，尤其是一些特别辉煌美好的事。所以你不必伤感，也不用惋惜，纵然到江湖去赶上了春，也不必留住它。
古龙名人名言哲理格言警句语录 古龙
友谊对于⼀个⼈本⾝的记忆功能来说是必不可少的。回忆我们的过去，让它总是伴随着我们，正如他们所说的，对于维持完全的⾃我来说是不可缺少的。为了确保⾃我的完整，保证它的内容不轻易流失，记忆也象浇灌花朵⼀样需要经常被滋润。这种滋润需要靠定期与过去的⽬击者交流来实现，也就是说，和朋友。他们是我们的镜⼦，我们的记忆。我们并没向他们要求过什么，但他们却⼀次⼜⼀次地擦亮镜⼦，让我们可以从中看到⾃⼰。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
一个人能够获得自由比得到一顶王冠还要宝贵。
大仲马名人名言哲理格言警句语录 大仲马
做出伟大工作的唯一方法就是热爱你所做的事情。
"The only way to do great work is to love what you do."
莎伦·克里奇名人名言哲理格言警句语录 莎伦·克里奇
The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.
写作的行为是一种乐观的行为。如果你觉得它不重要，你就不会费心去做。
科尔姆·托宾名人名言哲理格言警句语录 科尔姆·托宾
I think the most important thing in life is to be honest with yourself.
我认为生活中最重要的事情是对自己诚实。
罗素·克劳名人名言哲理格言警句语录 罗素·克劳
Take away love and our earth is a tomb.
夺去爱情，我们的世界就是一个坟墓。
罗伯特·勃朗宁名人名言哲理格言警句语录 罗伯特·勃朗宁
男人心软一生穷，女人心软裤带松。
佚名名人名言哲理格言警句语录 佚名
桓公匡合，济弱扶倾。
周兴嗣名人名言哲理格言警句语录 周兴嗣
如果你的婚姻不幸福，那就回来找我吧，哪怕我已经老得走不动了，我也会带你一起私奔的。
张爱玲名人名言哲理格言警句语录 张爱玲
学习如何识别隐含前提可以让我们更好地理解他人的观点。
尼尔·布朗名人名言哲理格言警句语录 尼尔·布朗
我说：“你已经有了，只是你感觉不到它的存在而已，因为你的思维产生了太多的噪声。”
埃克哈特·托利名人名言哲理格言警句语录 埃克哈特·托利
浓绿万枝红一点，动人春色不须多。
王安石名人名言哲理格言警句语录 王安石
一个人必须在内心拥有混沌，才能诞生跳跃的星星。
One must still have chaos in oneself to be able to give birth to a dancing star.
尼采名人名言哲理格言警句语录 尼采
艺术本来是弥补人生和自然缺陷的。如果艺术的最高目的仅在妙肖人生和自然，我们既已有人生和自然了，又何取乎艺术呢？
朱光潜名人名言哲理格言警句语录 朱光潜
在每一个展览中，都有机会重写历史，包括那些被边缘化或被遗忘的声音。
In every exhibition, there is an opportunity to rewrite history, to include voices that have been marginalized or forgotten.
玛丽亚·帕帕迪米特里乌名人名言哲理格言警句语录 玛丽亚·帕帕迪米特里乌
男人是泥，女人是水。泥多了，水浊，水多了，泥稀。不多不少，捏两个泥人——好一对神仙眷侣。这一类，因为难得一见，老天爷总想先收回一个，拿到掌心上去看看，看神仙到底是个什么样子。
三毛名人名言哲理格言警句语录 三毛