Translation Of Methods Of Verification In Different Languages