"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

Integrity is the foundation of trust, and trust is the foundation of success.

The most sustainable building is the one that already exists.

旅行就是发现每个人对其他国家的看法都是错误的。

解析：不要窃取他人的成果，不要忘记自己的耻辱。

A sound mind in a sound body, is a short, but full description of a happy state in this World: he that has these two, has little more to wish for; and he that wants either of them, will be little the better for anything else. Men’s happiness or misery is most part of their own making. He, whose mind directs not wisely, will never take the right way; and he, whose body is crazy and feeble, will never be able to advance in it.

The soul is created in a place between time and eternity: with its highest powers it touches eternity, with its lower time.