Skip past navigation NASA Langley Formal Methods


home

welcome

quick page

philosophy

team

research

quote

links

new?
  home > philosophy > humor

Skip past list of joke linksSome Formal Methods Humor

Copyright concerns caused us to get rid of many of our old cartoons. We are creating new ones as time permits. Skip past joke links

o Well, let's see if Jimmy here can help you with your state explosion problem!

o Please, Mr. Owre, add MY THEORY to the PVS prelude!

o You guys are both my witnesses... He insinuated that ZFC set theory is superior to Type Theory!

o These scoundrels used inconsistent axioms

o The Forbidden Craft of Formal Methods

o Logic: another thing that penguins aren`t very good at

o Are you programmed to compute the truth, the WHOLE truth ...

o Captain, what does "Global reconfiguration in progress -- please stand by," mean?

o What it is like to use a theorem prover

o The only thing harder to sell than formal methods

o The only thing harder to sell than formal methods (Virginia version)

o 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?

 

  Skip past navigation  
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 10 May 2002 (09:11:56)