模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
友情有时会产生超越语言的理解。
Language is a process of free creation; its laws and principles are fixed, but the manner in which the principles of generation are used is free and infinitely varied.
You can’t build a great business alone. Surround yourself with the right team.
The future belongs to those game creators who dare to break through traditional thinking.
我应该根据她的行为，而不是根据她的话来判断她。
