Some Formal Methods Humor
Copyright concerns caused us to get rid of many of our old
cartoons. We are creating new ones as time permits.
Well, let's see
if Jimmy here can help you with your state explosion problem!
Please, Mr. Owre, add MY THEORY to the PVS prelude!
You guys are both my witnesses... He insinuated that ZFC set theory is superior to Type Theory!
These scoundrels used inconsistent axioms
The Forbidden Craft of Formal Methods
Logic: another thing that penguins aren`t very good at
Are you programmed to compute the truth, the WHOLE truth ...
Captain, what does "Global reconfiguration in progress -- please stand by,"
What it is like to use a theorem prover
The only thing harder to sell than formal methods
The only thing harder to sell than formal methods (Virginia version)
Software Engineering is like looking for a black cat ...
(the idea has been around for years)
Here are some captions for ones we`ve had to remove; perhaps you can come up with cartoons for yourself.
Choosing a formal method can be a fearful thing
The interest in formal methods is growing
Don`t worry, honey, just two more lemmas ...
Are you sure that (GRIND) was the right command?