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

盈利和可持续性必须齐头并进，没有其他前进的道路。

乳制品生产中的每一个挑战都是创新的机会。

Don't give up on your dreams because of difficulties.

团队的力量在于思想的多样性和目标的统一性。

The greatest works of art are born from the deepest sorrows.

喜欢美女和追求富贵的人，不管别人如何都努力去做。而义，是天下的大事，何必先看别人再努力去做呢？ 

Fear is a habit. I am not afraid.