RA2018: Verificación de algoritmos de ordenación con Isabelle/HOL
En la clase de hoy del curso de Razonamiento automático se ha estudiado cómo verificar con Isabelle/HOL la corrección de distintos algoritmos de ordenación.
El primero de los algoritmos verificados ha sido el de ordenación por inserción. La correspondiente teoría Isabelle/HOL se muestra a continuación
Read More “RA2018: Verificación de algoritmos de ordenación con Isabelle/HOL”