Verificación formal de algoritmos fundamentales para la Industria

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalMoreno Negro, Silvanaes
dc.contributor.tribunalSzasz Cerutti, Nora Adrianaes
dc.creatorColmenero Zito, Guillermo
dc.date.accessioned2017-06-14T14:51:44Z
dc.date.available2017-06-14T14:51:44Z
dc.date.issued2016es
dc.descriptionIncluye bibliografíaes
dc.description.abstractEn este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el desarrollo formal de una serie de algoritmos fundamentales desarrollados utilizando el método del Invariante, y verificados formalmente con la herramienta antes mencionada.es
dc.format.extent62 p. grafses
dc.identifier.citationColmenero Zito, G. (2016). Verificación formal de algoritmos fundamentales para la Industria (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3319es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3319
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/84362es
dc.subjectLENGUAJES DE PROGRAMACIÓN-DAFNYes
dc.subjectPROYECTOS-IDes
dc.subjectPROGRAMACIÓN BASADA EN INVARIANTESes
dc.titleVerificación formal de algoritmos fundamentales para la Industriaes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Ingeniería en Sistemas - IDes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelCarrera Universitariaes
ort.thesis.degreenameIngeniero en Sistemases
ort.thesis.degreetypeProyectoes
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
1.42 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado