"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
要快乐,我们不必太在意别人。