The challenge in model checking is not just to find errors, but to understand why they occur.
人的教育应该从出生开始,一直持续到死亡。
The best fruits come from the best practices and the most dedicated people.
Learn how to learn from those you disagree with, or even offend you. See if you can find the truth in what they believe.
The absence is more important than the presence.