Please enable JavaScript.
Coggle requires JavaScript to display documents.
(VERIFICACIÓN FORMAL DE PROGRAMAS, MAPA CONCEPTUAL) - Coggle Diagram
VERIFICACIÓN FORMAL DE PROGRAMAS
Corrección de programas WP
Especificación {Pre y Pos}
Pos condición
Precondición
Triplas de Hoare {Q} S {R}
Correcto si:
Q > R
Propiedades
Programa y estado
Programas interactivos (Invariante - Cota
Invariante
Cota de Ciclo
Teorema de invarianza
Análisis de Algoritmos T(n), O,
Mejor o peor caso
Complejidad
Ejemplo burbuja
MAPA CONCEPTUAL
Docente.Juan Pérez Castillo
Presentado por Jorge Ignacio Vargas Bocanegra