The challenge in model checking is not just to find errors, but to understand why they occur.
真相很少纯粹,也绝不简单。
Men fear death as children fear to go in the dark; and as that natural fear in children is increased with tales, so is the other.
The most profound discoveries often come from the simplest observations.