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

Vision without execution is just a dream.

The most important thing in life is to have a sense of purpose and to pursue it with passion.

我们不是从祖先那里继承地球；我们是从子孙那里借来的。