computerbewijs computational proof

Het bewijs met een computer dat een programma correct geprogrammeerd is of dat een e-mail niet gefalsificeerd is enz.