When I use a model checker, it runs and runs for ever and never comes back … When I use a static analysis tool, it comes back immediately and says “I don’t know” — Patrick Cousot
Just because a problem is undecidable, it doesn’t go away! — Thomas Ball & Sriram K. Rajamani, Microsoft Research, SLAM Project
You keep using that word. I do not think it means what you think it means. — William Goldman, “The Princess Bride”
I’ve never been a praying man. But, if you’re out there, PLEASE SAVE ME SUPERMAN!!!!! — Homer Simpson
First Doctor: Hallo! Now, don’t you worry.
Second Doctor: We’ll soon have you cured.
First Doctor: Leave it all to us, you’ll never know what hit you.
— Monty Python
Life does not cease to be funny when people die any more than it ceases to be serious when people laugh. — George Bernard Shaw
I am not young enough to know everything. — Oscar Wilde
Abandon the search for Truth; settle for a good fantasy.