I think (since the topic is software testing of physical things) that this classic applies. > Beware of bugs in the above code; I have only proved it correct,

I think (since the topic is software testing of physical things) that this classic applies. > Beware of bugs in the above code; I have only proved it correct, not tried it. - Knuth.