The challenge in model checking is not just to find errors, but to understand why they occur.
做事情不需要花费许多的体力,但做决定需要付出很大的精力。
世界是一个充满痛苦的地方,唯一的逃避方式是通过爱。
The essence of greatness is the perception that virtue is enough.
一个人若有一茶匙头脑,便会有一份傲气。
理解一个国家的首要条件是闻一闻它的味道。
"History is not the past. It is the present. We carry our history with us. We are our history."