"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
译文：酒后容易胡言乱语，钱财容易让人恩断义绝。赏析：人喝酒过多，就会兴奋至极，一旦兴奋就会无所不谈，话多了自然就会说错话，说错话就会得罪别人。亲戚朋友间因为金钱财物问题而恩断义绝的案例屡见不鲜，如何去平衡感情和金钱的关系，是非常重要的学问。
In the short run, the market is a voting machine but in the long run, it is a weighing machine.
每一句话都是一次信仰的飞跃。