Mecanización de verificación formal de programas en Dafny

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Daniel
dc.contributor.tribunalGarbervetsky, Diego David
dc.contributor.tribunalCalegari García, Daniel
dc.creatorColina Candiota, Cristian Sebastián
dc.creatorArmas Baison, Guillermo de
dc.date.accessioned2024-06-04T12:01:11Z
dc.date.available2024-06-04T12:01:11Z
dc.date.issued2024
dc.descriptionIncluye bibliografía.
dc.description.abstractEl siguiente proyecto presenta un generador de condiciones de verificación que se ha desarrollado en Dafny, diseñado para un pequeño lenguaje imperativo. Este lenguaje incluye características como asignación múltiple, secuenciación, selección e iteración. El propósito fundamental de este generador es derivar, a partir de un programa anotado con pre y post condiciones, así como invariantes de cada iteración, un árbol de Hoare y condiciones de verificación asociadas. Se destaca que si las condiciones son demostradas, el programa resulta parcialmente correcto respecto a las pre y post condiciones dadas. Asimismo, se verifica que todo el programa compiló correctamente.
dc.format.extent36 p.
dc.format.mimetypePDF
dc.identifier.citationColina Candiota, C. S. & Armas Baison, G. de (2024). Mecanización de verificación formal de programas en Dafny (Proyecto) Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/6957
dc.identifier.urihttps://hdl.handle.net/20.500.11968/6957
dc.languagespa
dc.publisherUniversidad ORT Uruguay
dc.relation.otherhttps://sisbibliotecas.ort.edu.uy/bib/95662
dc.rights.levelAcceso abierto
dc.subjectPROYECTOS-ID
dc.subjectLENGUAJES DE PROGRAMACIÓN-DAFNY
dc.subjectVERIFICACIÓN AUTOMÁTICA
dc.subjectMÉTODOS FORMALES
dc.titleMecanización de verificación formal de programas en 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:
212.71 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Trabajos finales de carrera de grado