George,

>However, we can use proof by mathematical induction where it isn't possible to check all possible conditions. Basically, this involves a sampling of a combination possible values to prove that the algorith works.

In shorter terms: whitebox testing.

Walter,