Verification of Turing Machine programs