Las bibliotecas se adaptan a los tiempos de COVID-19.
Estamos disponibles de lunes a jueves de 9:00 a 18:00hs. y viernes de 9.00 a 17:00hs.
Si necesitas retirar libros no disponibles en las colecciones de ebooks puedes llamar al 29021505 o enviar un email a consulta_bibcen@ort.edu.uy / consulta_bibpoc@ort.edu.uy para coordinar día y hora en que puedas venir a buscarlos.

Desde el martes 16 de junio habilitamos la lectura individual en sala, previa reserva y limitada a materiales de uso restringido, que no puedan retirarse en préstamo. Agenda tu turno por un máximo de 2 horas.
Nos cuidamos entre todos.

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