形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
出自《魏源集·都中吟十三首》。洋人的情况、技术和版图，我都了解得像万里大的手掌中玩米和沙子一样。知己知彼是兵家的策略，一定要知道谁主掌着典属国的职位。
The past is never dead. It's not even past.
创新是任何行业的命脉，那些无法适应的人将被抛在后面。
The process of creation is more important than the result. 创作的过程比结果更重要。