RA2014: Verificación de la ordenación por mezcla con Isabelle/HOL
En la segunda parte de la clase de hoy del curso de Razonamiento automático se ha estudiado cómo demostrar la corrección del algoritmo de ordenación por mezcla.
La correspondiente teoría Isabelle/HOL se muestra a continuación
Read More “RA2014: Verificación de la ordenación por mezcla con Isabelle/HOL”