MO417 - Questão para a prova oral

Número: 2010-002

Enunciado: Invariantes de laço são normalmente utilizadas para:

1. Calcular o tempo de execução de um algoritmo
2. Planejar uma bateria de testes para um algoritmo
3. Ordenar os elementos de um vetor
4. Provar a corretude de um algoritmo
5. NDA

Ideia original de: Pedro Henrique Del Bianco Hokama