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

Please use this identifier to cite or link to this item: http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606

Title:	Verificación formal de programas con lógicas de separación
Authors:	Medina Martínez, Diego Roberto
Keywords:	Verificación formal Lógicas de separación Lógica matemática Corrección de programas Análisis estático
Issue Date:	2021
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.
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.
URI:	http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606
Appears in Collections:	Tesis 2021

Files in This Item:

File	Description	Size	Format
Tesis.pdf	Tesis	1.47 MB	Adobe PDF	View/Open
Portada.pdf	Portada	848.55 kB	Adobe PDF	View/Open
FEX-3.pdf	FEX-3	792.1 kB	Adobe PDF	View/Open

DSpace JSPUI