Some Formal Methods Humor

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," mean?

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?