The problem with the world is that the intelligent people are full of doubts, while the stupid ones are full of confidence.
I'm not trying to be cool. I'm just being myself.
"The past is always tense, the future perfect."
The use of COBOL cripples the mind; its teaching should, therefore, be regarded as a criminal offense.
The challenge in model checking is not just to find errors, but to understand why they occur.