Every great advance in science has issued from a new audacity of imagination.

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

品质始于土壤。健康的土地才能长出健康的水果。

Every man has a right to his opinion, but no man has a right to be wrong in his facts.