Verificación formal de programas con lógicas de separación
| dc.carrera.ingenieria | Ingeniería en computación | es_ES |
| 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.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.director.trabajoescrito | Bárcenas Patiño, Ismael Everardo | |
| dc.identifier.uri | http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606 | |
| 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 |
Files
Original bundle
1 - 3 of 3
Loading...
- Name:
- Tesis.pdf
- Size:
- 1.43 MB
- Format:
- Adobe Portable Document Format
- Description:
- Tesis
Loading...
- Name:
- Portada.pdf
- Size:
- 848.55 KB
- Format:
- Adobe Portable Document Format
- Description:
- Portada
Loading...
- Name:
- FEX-3.pdf
- Size:
- 792.1 KB
- Format:
- Adobe Portable Document Format
- Description:
- FEX-3
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 67 B
- Format:
- Item-specific license agreed upon to submission
- Description: