Absolutely! Which is why I'd love to incorporate actual model checking into my work. I said that I make use of some level of model checking, but what I really meant was that I make use of a poor approximation of it.

Edit: I was convinced later in the thread that this isn't a fair comparison :)