形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我们并不缺乏交流，相反，我们有太多的交流。我们缺乏的是创造。
真相很少是纯粹的，也从来不是简单的。
The role of business is to produce products and services that make people's lives better—while using fewer resources—and to act lawfully and with integrity.
I am not interested in the unique, but in the banal.
建筑不是关于形式，而是关于性能。