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

模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The best way to get a project done faster is to start sooner.
让项目更快完成的最好方法是尽早开始。
杰克·唐加拉名人名言哲理格言警句语录 杰克·唐加拉
我只愿面朝大海，春暖花开。
海子名人名言哲理格言警句语录 海子
The poet is the one who makes the world sing.
诗人是让世界歌唱的人。
普吕多姆名人名言哲理格言警句语录 普吕多姆
The success of an enterprise is inseparable from innovation. Only by continuous innovation can we remain invincible in the fierce market competition.
企业的成功离不开创新，只有不断创新，才能在激烈的市场竞争中立于不败之地。
宗庆后名人名言哲理格言警句语录 宗庆后
在爱情中我们都是傻瓜。
We are all fools in love.
伯妮丝·鲁本斯名人名言哲理格言警句语录 伯妮丝·鲁本斯
.我生命中出现了最美好的东西，是因为我做了原本不敢做的事。
博多·舍费尔名人名言哲理格言警句语录 博多·舍费尔
永远不要跟别人比幸运，我从来没想过我比别人幸运，我也许比他们更有毅力。
马云名人名言哲理格言警句语录 马云
我愿你是生着翅膀的大雁，自由地去爱每一片蓝天；哪一块土地更适合你生存，你就应该把那里当做你的家园。
路遥名人名言哲理格言警句语录 路遥
宁可让儿童一个字也不识，也不要使他为了学到这一些学问而把其他有用的东西都牺牲了。
卢梭名人名言哲理格言警句语录 卢梭
Writing is not a profession but a way of life.
写作不是一种职业，而是一种生活方式。
马里奥·巴尔加斯·略萨名人名言哲理格言警句语录 马里奥·巴尔加斯·略萨
可是我呢，很遗憾，我已经不能透过箱子看到里头的绵羊了。我或许已经有点儿像那些大人了。我一定是老了。
安托万·德·圣-埃克苏佩里名人名言哲理格言警句语录 安托万·德·圣-埃克苏佩里
生存乃是不断地在内心与灵魂交战，写作是坐着审判自己。
亨利克·易卜生名人名言哲理格言警句语录 亨利克·易卜生
释纷利俗，并皆佳妙。
周兴嗣名人名言哲理格言警句语录 周兴嗣
挑战是伪装的机会，勇敢地拥抱它们。
Challenges are opportunities in disguise; embrace them with courage.
莎拉·米勒名人名言哲理格言警句语录 莎拉·米勒
写作是一种逃离世界的方式，也是一种拥抱世界的方式。
Writing is a way of escaping from the world, but also a way of embracing it.
让-玛丽·古斯塔夫·勒克莱齐奥名人名言哲理格言警句语录 让-玛丽·古斯塔夫·勒克莱齐奥
我并没有发现自己有什么天才的因素。我在我们同代人身上还没有真正发现什么人是天才：他的创造性远远领先于我们，让我们所有的人震惊和折服，带动了一个时代。
张艺谋名人名言哲理格言警句语录 张艺谋
颈围是判断你会不会打呼的重要指标。
麦克尔·莫斯利名人名言哲理格言警句语录 麦克尔·莫斯利
Believe nothing you hear， and only one half that you see.
别相信你听到的任何事情，看到的也只信一半。
爱伦·坡名人名言哲理格言警句语录 爱伦·坡
一个组织的适应能力质量决定了其生存的质量。
The quality of an organization's adaptability determines the quality of its survival.
菲利浦·克劳士比名人名言哲理格言警句语录 菲利浦·克劳士比