"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Design is not about imposing your will, but about discovering what's already there.

真实不再真实。

一支箫一把剑是我平生的志向，辜负了狂名十五年。

"I don't believe in writer's block. I believe in laziness."

隐私不仅是一种权利，而且是自由社会运作的必要条件。

The value and utility of any experiment are determined by the fitness of the material to the purpose for which it is used.

真正的领导者倾听多于发言，并以诚信为首要行动准则。