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

热爱传统从来没有削弱过一个国家.传统就是生死时刻用来救命的.

I don’t chase success, I chase excellence.

I want to stand as close to the edge as I can without going over. Out on the edge you see all kinds of things you can't see from the center.

我对愚人有着极大的信心；我的朋友称之为自信。

We are all now connected by the Internet, like neurons in a giant brain.