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

你所需要的越少，你就越自由。

译文：成家立业后才知道柴米的贵重，自己抚养孩子时才知道报答父母的恩情。赏析：世事的艰难，只有当我们亲身经历后才会懂得，生活的不易，只有当我们尝遍酸甜苦辣咸才会明白。

我吃文字从来没反胃过。

A gentleman is one who puts more into the world than he takes out.

和平不是没有战争，而是正义的胜利。

创新不是标新立异，而是真正解决玩家未被满足的需求。

在人类社会的初期，每个人都是自私自利的。

建筑总是政治的，因为它关乎我们如何共同生活。