https://www.ingenieria.unam.mx Repositorio Facultad de Ingeniería

Verificación formal de programas con lógicas de separación

Verificación formal de programas con lógicas de separación

Medina Martínez, Diego Roberto
URI: http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606
Fecha: 2021

Resumen:

Las lógicas de separación proporcionan un método novedoso en la verificación formal de programas. Resuelven el problema que se tenía al verificar estructuras de datos dinámicas y aquellas que hacen uso de apuntadores. Con base en ello, se utiliza una herramienta que las implementa con el fin de analizar y experimentar con programas reales.

Descripción:

Se desarrollan las lógicas de separación y la bi-abducción a detalle, así como sus antecedentes, con el fin de comprender la verificación formal de programas. Además, se realizan experimentos con la implementación de dichas técnicas. Finalmente se concluye acerca de los resultados obtenidos.

Mostrar el registro completo del ítem

Ficheros en el ítem

Icon
Nombre: Tesis.pdf
Tamaño: 1.431Mb
Formato: PDF
Descripción: Tesis
Ver/
Icon
Nombre: Portada.pdf
Tamaño: 848.5Kb
Formato: PDF
Descripción: Portada
Ver/
Icon
Nombre: FEX-3.pdf
Tamaño: 792.0Kb
Formato: PDF
Descripción: FEX-3
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Tesis 2021
    Trabajos escritos para obtener grado académico de licenciatura en ingeniería de 2021.

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta