"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
"We are all searching for something, and sometimes, what we find is not what we expected."
经过无数代人的努力，你才达到了现在的水平。也许需要一点感激之情。如果你要坚持让世界按你的方式弯曲，你最好有自己的理由。
The more you live, the more you learn. The more you learn, the more you realize how little you know.
你活得越久，学得越多。学得越多，就越意识到自己知道的多么少。
我喜欢竞争。这就是我的工作。
The best way to write a program is to write it.
