模型检查是验证硬件和软件系统正确性的强大工具。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

埃德蒙·克拉克

美育者，与智育相辅而行，以图德。

王国维

坚强的信心，能使平凡的人做出惊人的事业。

伏尔泰

大多数人都过于焦虑，担心太多。成功意味着要非常有耐心，但该出手时就出手。

Most people are too fretful, they worry too much.Success means being very patient, but aggressive when it's time.

查理·芒格

人生的价值在于奉献，而不是索取。

郭明义

究天人之际，通古今之变。

司马迁

Science is a collaborative effort; no major discovery happens in isolation.

科学是一项协作的努力，重大的发现不会孤立地发生。

赖因哈德·根策尔

I'm not big on compromise. I understand compromise. Sometimes compromise is the right answer, but oftentimes compromise is the equivalent of defeat, and I don't like being defeated.

我不喜欢妥协。我明白有时妥协是正确的答案，但妥协通常相当于失败，我不喜欢被击败。

特朗普

Don't worry about what anybody else is going to do. The best way to predict the future is to invent it.

不要担心别人会做什么。预测未来的最好方法就是去创造未来。

查尔斯·萨克尔

"Imagination is the key to unlocking the world."

想象力是打开世界的钥匙。

琳恩·雷·珀金斯

在群体中，每一种情感和行为都有极强的传染性，个人都愿意为了集体的利益牺牲个人利益。

古斯塔夫·勒庞

无我利他、上善若水是企业家的最高境界。处于这一境界的企业家，他们的视野不再局限于一城一池的得失，而是将个人的梦想、企业的发展与社会的进步、人类的未来相结合，以高度的社会责任感和人文关怀，引领企业成为推动社会进步的力量。

黄伟芳

永远不要低估“无用”的基础研究的重要性。

Never underestimate the importance of "useless" fundamental research.

埃玛纽埃勒·沙尔庞捷

只要爱人的面容仍铭刻于心，世界就还是你的家。

奥尔罕·帕慕克

不久前我曾恳求你欺骗我心中的感情，以同情、以虚假的温存，给你奇妙的目光以灵感，好来作弄我驯服的灵魂，向它注入毒药和火焰。

普希金

即使输了，唯一该做的就是光明磊落地去输。

约翰·洛克菲勒

When love is in excess, it brings a man no honor nor worthiness.

爱得太深，会失去所有荣耀和价值。

欧里庇得斯

说市场经济只是限于资本主义社会。

列宁

每一本书都是一次旅程，每一次旅程都是一本书。

Every book is a journey, and every journey is a book.

米尔恰·卡塔雷斯库

用返朴归真的方式，重新调动起生命的激情。

毕淑敏

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

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