"The only way to do great work is to love what you do."

在计算机科学中，我们总是在寻找表达能力和可处理性之间的平衡。

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

比喻做事要专心致志，不能一心二用。

在这个希望你做任何事而不是阅读的世界里，阅读是一种反叛行为。