The challenge in model checking is not just to find errors, but to understand why they occur.
你无法从那样的失去中恢复;你只能学会与之共存。
Life is too short to waste time on things that don’t matter.
One should always play fairly when one has the winning cards.