Formalization of graphs in Dafny

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Daniel
dc.contributor.tribunalGarbervetsky, Diego David
dc.contributor.tribunalCalegari García, Daniel
dc.creatorBordagorry Burgueño, Juan Martín
dc.creatorPérez Pedetti, Santiago
dc.date.accessioned2024-06-03T19:44:29Z
dc.date.available2024-06-03T19:44:29Z
dc.date.issued2024
dc.descriptionIncluye bibliografía y anexos.
dc.description.abstractDafny es un lenguaje orientado a especificaciones que provee un marco para verificar formalmente programas. En este proyecto, se presenta la experiencia de formalizar grafos y lograr la verificación parcial de algoritmos conocidos utilizando Dafny (Prim y Kruskal). En el cuerpo de este trabajo, también se presentan las pruebas de las secciones de los algoritmos que se verificaron, y cuales secciones fueron determinadas como trabajo a futuro. Se concluye que las especificaciones en Dafny son extremadamente poderosas si son bien ejecutadas, pero además requieren un conocimiento profundo de los algoritmos que se quiere especificar y de los problemas que resuelven, además de un manejo experto de Dafny para algoritmos complejos.
dc.format.extent73 p. diagrs., tbls., grafs.
dc.format.mimetypePDF
dc.identifier.citationBordagorry Burgueño, J. M. & Pérez Pedetti, S. (2024). Formalization of graphs in Dafny (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/6956
dc.identifier.urihttps://hdl.handle.net/20.500.11968/6956
dc.languageeng
dc.publisherUniversidad ORT Uruguay
dc.relation.otherhttps://sisbibliotecas.ort.edu.uy/bib/95660
dc.rights.levelAcceso abierto
dc.subjectPROYECTOS-ID
dc.subjectLENGUAJES DE PROGRAMACIÓN-DAFNY
dc.subjectTEORÍA DE GRAFOS
dc.subjectALGORITMOS
dc.subjectVERIFICACIÓN FORMAL
dc.titleFormalization of graphs in Dafny
dc.typeTrabajo final de carrera
dc.type.versionVersión publicada
ort.thesis.careerFI - Ingeniería en Sistemas - ID
ort.thesis.degreegrantorFacultad de Ingeniería
ort.thesis.degreelevelCarrera universitaria
ort.thesis.degreenameIngeniero en Sistemas
ort.thesis.degreetypeProyecto
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
281.88 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Trabajos finales de carrera de grado