模型检查是验证有限状态并发系统正确性的强大技术。

透明建立信任，而信任是任何持久商业关系的基础。

True leadership is about listening, learning, and then leading.

我们需要对非人类发展出一种新的敏感性。

Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis.

The quality of an organization's products and services is a direct reflection of the quality of its management.

我们要记住，我们无法从这个世界带走任何东西，重要的是我们在这里的行为。