Formal Methods Humor
Copyright concerns caused us to get rid of many of our old
cartoons. We are creating new ones as time permits.
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?
identifies links that are outside
the NASA domain