"In every book, there is a piece of the author's soul."
The challenge in model checking is not just to find errors, but to understand why they occur.
In science, failure is not the opposite of success but a stepping stone towards it.