The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Monsters are real, and ghosts are real too. They live inside us, and sometimes, they win.
最大的风险是不冒任何风险……在一个变化非常快的世界里，唯一注定失败的策略就是不冒险。
Always stay curious about new technologies, but be wary of hype.
艺术家并不重要。只有他创造的东西才重要。
All creatures come into the world bringing with them the memory of justice.
"I don’t want to be remembered just for my forehand or my backhand. I want to be remembered for my sportsmanship."
