模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
在数学中，发现的旅程和目的地一样重要。
舞台上的每一分钟都是台下十年功的积累。
不要让恐惧阻止你做你想做的事。