形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我不让错误定义我，我让它们磨砺我。
质量不是一种行为，而是一种习惯。
最终，我们所拥有的只是我们讲述的故事。
I always believe if you’re stuck in a hole and maybe things aren’t going well you will come out stronger.
最重要的是，你必须对自己忠实。