• Capítulo 6. Verificación de Estructuras de Programas

    Aplicar técnicas de verificación de programas secuenciales, condicionales y ciclos, mediante el análisis de las instrucciones, las condiciones y los invariantes, para razonar sobre la correctitud del código y la terminación de los programas.