The best way to predict your future is to create it.

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

我喜欢狗。你总能知道狗在想什么。它们只有四种情绪：快乐、悲伤、生气和专注。而且狗很忠诚，它们不会说谎，因为它们不会说话。

生命的本质是统计上的不可能性，规模巨大。