模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
Man has no right to kill his brother. It is no excuse that he does so in uniform.
一部好电影是让观众带着更多问题而不是答案离开的电影。
Architects are not artists. We have a social responsibility to serve the public.