The challenge in model checking is not just to find errors, but to understand why they occur.
The best way to find yourself is to lose yourself in the service of others.
We are all in the gutter, but some of us are looking at the stars.
The best diplomat is one who can see the trends of future developments, not just the realities of the present.