I'm not a role model, I'm a real model.
过去是一个异国;他们在那里做事的方式不同。
The challenge in model checking is not just to find errors, but to understand why they occur.