A corretude de um algoritmo, na Ciência da computação teórica, pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação. O termo corretude se refere ao comportamento de entrada-saída do algoritmo. Isto é, para cada entrada ele produz uma saída. Ainda há os passos que devem ser considerados na criação de um bom algoritmo. Assinale a alternativa CORRETA que apresenta como esses passos podem criar um caminho e procedimentos corretos para a resolução de problemas: