The challenge in model checking is not just to find errors, but to understand why they occur.
我不是为了取悦别人而创作艺术,我是为自己创作的。