1. RepoFI UNAM
  2. Trabajos escritos para titulación
  3. 1. Licenciatura
  4. Tesis
  5. Tesis 2021
Please use this identifier to cite or link to this item: http://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMedina Martínez, Diego Roberto-
dc.date.accessioned2021-10-29T00:39:55Z-
dc.date.available2021-10-29T00:39:55Z-
dc.date.issued2021-
dc.identifier.urihttp://www.ptolomeo.unam.mx:8080/xmlui/handle/RepoFi/17606-
dc.descriptionSe 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.abstractLas 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.sponsorshipInvestigació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.isoeses_ES
dc.subjectVerificación formales_ES
dc.subjectLógicas de separaciónes_ES
dc.subjectLógica matemáticaes_ES
dc.subjectCorrección de programases_ES
dc.subjectAnálisis estáticoes_ES
dc.titleVerificación formal de programas con lógicas de separaciónes_ES
dc.typeTesises_ES
dc.director.trabajoescritoBárcenas Patiño, Ismael Everardo-
dc.carrera.ingenieriaIngeniería en computaciónes_ES
Appears in Collections:Tesis 2021

Files in This Item:
File Description SizeFormat 
Tesis.pdfTesis1.47 MBAdobe PDFView/Open
Portada.pdfPortada848.55 kBAdobe PDFView/Open
FEX-3.pdfFEX-3792.1 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.