让我告诉你我成功的秘诀。我的力量仅仅在于我的坚持不懈。

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

I never stop believing in myself.

Mistakes can be corrected by those who pay attention to facts but dogmatism will not be corrected by those who are wedded to a vision.