模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
Never put off till tomorrow what you can do the day after tomorrow.
人类是唯一如此的动物：他爱护他的邻居就如同爱护他自己一样，但是如果对方的宗教神学有问题，他会割断对方的喉咙。
The challenge is to make the ordinary extraordinary.
领导力就是赋予他人力量，去实现他们认为不可能的事情。