Trust is the foundation of every successful business relationship.

理解变化的唯一方法是投入其中，随之而动，并加入舞蹈。

模型检查是验证硬件和软件系统正确性的强大工具。

I'm not going to change who I am because of what people say.

不要害怕犯错误。如果你没有犯错误，你就没有足够努力。

In science, the credit goes to the man who convinces the world, not to the man to whom the idea first occurs.

Collaboration is the foundation of progress.