每张皮革都有潜力，我们的责任是负责任地发掘它。

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

I don’t know how tall I am or how much I weigh. Because I don’t care.

世界真正的神秘在于可见的事物，而不是不可见的。