Every artist is a child of his time, but the great ones are also the parents of the future.

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

人生苦短，必须快乐。

Freedom is not merely the opportunity to do as one pleases; neither is it merely the opportunity to choose between set alternatives. Freedom is, first of all, the chance to formulate the available choices, to argue over them - and then, the opportunity to choose.

"I can resist everything except temptation."