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

Life has taught me to think，but thinking has not taught me to live.

最好的钢材不是在熔炉中制造的，而是通过团队合作和共同目标锻造的。

"The best way to predict the future is to invent it."

重要的是，你的队友必须知道你是站在他们这边的，你是真心希望他们成功的。