Identificação de erros em programas de controle escritos em Ladder