Translation Of Operational Verification In Different Languages