成功验证的关键是从系统应该做什么的清晰和精确的规范开始。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

约瑟夫·斯法基斯

务须咬牙厉志，蓄其气而长其志，切不可恭然自馁也。

曾国藩

问苍茫大地，谁主沉浮！

毛泽东

责任就是对自己要求去做的事情有一种爱。

歌德

不少人40岁前以命搏钱，40岁后以钱买命，我们在医院常常接触到这种病人，体会相当深。

钟南山

书籍是释放我们改变潜力的钥匙。

"Books are the keys to unlocking our potential for change."

贾森·雷诺兹

如果错过了太阳时你流泪了，那么你也要错过群星了。

泰戈尔

一万年太久，只争朝夕。

毛泽东

Those who rarely show emotion, once moved, will erupt like an earthquake, burning themselves to ashes, and those they love will be tormented by the scorching flames.

轻易不动感情的人，一旦动情，就会地裂山崩，把自己燃烧成一堆灰烬，被他爱上的人，也会被这狼烟烈火烧烤得痛不欲生。

莫言

我们的矿工是美国最勤劳的人。

Our miners are the hardest working people in America.

罗伯特·E·默里

The best thing you can do is just be yourself and have fun.

你能做的最好的事就是做自己并享受乐趣。

塞雷娜·威廉姆斯

I think that the most important thing is to be honest with yourself and with your audience.

我认为最重要的是对自己和观众诚实。

格斯·范·桑特

那时候我就明白，不论是好事还是坏事，一旦结束，总会让人感到空虚。如果是坏事，这空虚感会自行消失，而如果是好事，你无法填补这空虚，除非发生更好的事。

海明威

学习哲学的最终目标是消除痛苦。

The end of all our exploring will be to arrive where we started and know the place for the first time.

伊壁鸠鲁

酒逢知己饮，诗向会人吟。相识满天下，知心能几人？

周希陶

自暴自弃，这是一条永远腐蚀和啃噬着心灵的毒蛇，它吸走心灵的新鲜血液，并在其中注入厌世和绝望的毒汁。

马克思

过于伟大或者过于卑微，过于高明或者过于愚蠢，过于奇特或者过于陈旧的话语，都值得怀疑。

王蒙

金融科技的发展给传统银行业带来了挑战，也带来了机遇。

王洪章

井蛙不可以语于海者，拘于虚也；夏虫不可以语于冰者，笃于时也

庄子

Suspicere coeli fastigia et admirari sidera.

To look up at the heights of heaven and to admire the stars.

第谷·布拉赫

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

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