Detalles de la obra

Título:
Verificación formal de algoritmos fundamentales para la Industria
Autor(es):
Colmenero Zito, Guillermo
Pie de imprenta:
Montevideo: Universidad ORT Uruguay, 2016
Descripción física:
62 p. grafs. En línea
Nota de tesis:
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2016. Calificación: 97/100
Título obtenido:
Entregado como requisito para la obtención del título de Ingeniero en Sistemas
Tutor:
Álvaro Daniel Tasistro Souto
Tribunal:
Silvana Moreno Negro; Nora Adriana Szasz Cerutti
Resumen:
En 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.
Referencias bibliográficas:
Incluye bibliografía
Idioma:
Español
Tipo de material:
[Trabajo Final de Carrera]
Ubicación física:
Disponible en línea

Archivos asociados:

Archivo Tamaño Formato
Proyecto 1.49MB application/pdf
Informe del corrector 49kB application/pdf