The only way to do great work is to love what you do.
The best ideas often come from listening to those closest to the problem.
The challenge in model checking is not just to find errors, but to understand why they occur.
我经常被问及我的剧本是如何产生的。我说不上来。我也无法总结它们。我只能说这就是发生的事情。这就是他们说的。这就是他们做的。
领导力在于激励他人,在他们曾经看到障碍的地方看到可能性。