The challenge in model checking is not just to find errors, but to understand why they occur.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

埃德蒙·克拉克

Literature is the antidote to dogma.

文学是教条的解药。

马里奥·巴尔加斯·略萨

一生奉献于两个神明，即荣誉与英勇。

蒙森

A drop of ink can evoke the thoughts of millions of people.

一滴墨水，可以唤起千百万人的思想。

拜伦

要仁慈，你所遇见的每个人都在打一场艰难的仗。

柏拉图

断线而去的风筝是不可能追回来的。

巴尔扎克

对于觉醒的人而言，唯一的使命即是：寻找自己，成为坚定的自己，上下求索自己的道路，无论它通向哪里。

赫尔曼·黑塞

主人唆使他豢养的几只狼狗去咬一群乡下人……那些乡下人向国王哭诉，主人为了得到宽恕，便把狼狗宰了。

达里奥·福

这么多人里，我最希望你能幸福，因为你是我们中总在漂泊的一个，我知道你热爱自由，但我希望有一天你能找到落脚的地方。

卢思浩

一个人完全系于他终日所思。

爱默生

Safety isn't just a policy, it's a culture that must be lived every day in our mines.

安全不仅仅是一项政策，而是我们矿山每天必须践行的一种文化。

彼得·惠特克

最好的投资往往是最无聊的。

The best investments are often the ones that are the most boring.

沃尔特·施洛斯

一个人真正的优秀的特质，来自于想要变得更加优秀的那种强烈的渴望，和对生命的追求的那种火热的激情。

马云

每次遇到麻烦我就总这样想：先把这个应付过去，往下就好办了。人生就是饼干罐。

村上春树

也许世界上也有五千朵和你一模一样的花，但只有你是我独一无二的玫瑰。

安托万·德·圣-埃克苏佩里

"Science is the art of understanding the universe's language."

科学是理解宇宙语言的艺术。

艾米丽·布朗

Collaboration across industries and borders is essential if we want to address the global challenges of food security.

如果我们想应对全球粮食安全的挑战，跨行业和跨国界的合作至关重要。

詹姆斯·卡特

过去总是紧张的，未来是完美的。

The past is always tense, the future perfect.

杰拉尔德·穆南

A society that puts equality before freedom will get neither. A society that puts freedom before equality will get a high degree of both.

一个把平等置于自由之上的社会两者都得不到。一个把自由置于平等之上的社会在很大程度上可以两者兼得。

米尔顿·弗里德曼

胆劲心方，不畏强御，义正所在，视死犹归，支解寸断，不易所守。

出自《抱朴子·行品卷》。有强劲的胆略，和坚定的信念，便可以毫无畏惧。怀有正义，便能够为了正义视死如归。

葛洪

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

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