The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The true measure of success is not just profitability, but the positive impact we create in communities.
网球是一项心理游戏。每个人都健康，每个人都打出很棒的正手和反手——重要的是头脑。
我喜欢把人们不认为是艺术的东西变成艺术。