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

The tag identifies links that are outside the NASA domain