securing correctness Synonym