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.