verificação de programas Synonym