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

译文：看遍世间万事，只有钱财会替人说话；看穿人情世故，只让人寒心。赏析：世态炎凉，人情淡薄，钱财和利益能看清一个人的品质。

"Acting is not about being someone different. It's finding the similarity in what is apparently different, then finding myself in there."

"The truth is rarely pure and never simple."

Work must necessarily precede reward.