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

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

Mostrar el registro sencillo del ítem

dc.contributor.author Medina Martínez, Diego Roberto
dc.date.accessioned 2021-10-29T00:39:55Z
dc.date.available 2021-10-29T00:39:55Z
dc.date.issued 2021
dc.identifier.uri http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606
dc.description 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. es_ES
dc.description.abstract 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. es_ES
dc.description.sponsorship Investigación realizada gracias al Programa de Apoyo a Proyectos de Investigación e Innovación Tecnológica (PAPIIT) de la UNAM a través del proyecto IA105420, de nombre "Caracterización modal de lógicas de separación". Agradezco a la DGAPA-UNAM la beca recibida. es_ES
dc.language.iso es es_ES
dc.subject Verificación formal es_ES
dc.subject Lógicas de separación es_ES
dc.subject Lógica matemática es_ES
dc.subject Corrección de programas es_ES
dc.subject Análisis estático es_ES
dc.title Verificación formal de programas con lógicas de separación es_ES
dc.type Tesis es_ES
dc.director.trabajoescrito Bárcenas Patiño, Ismael Everardo
dc.carrera.ingenieria Ingeniería en computación es_ES


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.

Mostrar el registro sencillo del ítem

Buscar en RepoFI


Búsqueda avanzada

Listar

Mi cuenta