Only if we understand, can we care. Only if we care, will we help. Only if we help, shall all be saved.

大多数人发现编程的概念很明显，但是做不到。

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

It is the user who should parameterize procedures, not their creators.

在一个快速变化的世界里，适应能力是最终的竞争优势。