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

In the quest to understand quantum gravity, we are like children playing on the shore of a vast ocean, occasionally finding a smooth pebble or a pretty shell, while the great ocean of truth lies undiscovered before us.

我恳请你注意到你快乐的时候，然后在某个时刻大声或小声或心里想，“如果这都不算好，我不知道什么才算。”

Color is my day-long obsession, joy, and torment.

质量是我们产品的生命线，我们绝不能在这方面妥协。