The challenge in model checking is not just to find errors, but to understand why they occur.

国际政治是一项残酷而危险的业务，期望国家按照道德原则行事是愚蠢的。

画布上的每一笔都是记忆。

建筑师必须看到别人看不到的东西。

The chief enemy of creativity is 'good' sense.

The most successful brands are those that stand for something bigger than themselves.

创新不仅仅是关于新想法，而是让它们发挥作用。