Verificación formal de algoritmos fundamentales para la Industria [Trabajo Final de Carrera]
Datos de publicación: Montevideo: Universidad ORT Uruguay, 2016Descripción física: 62 p. grafs EN LÍNEANota de tesis: Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2016. Calificación: 97/100 Título obtenido: Ingeniero en Sistemas
Tutor: Tasistro Souto, Álvaro Daniel
Tribunal: Moreno Negro, Silvana | Szasz Cerutti, Nora Adriana
Tema(s): PROYECTOS-ID | LENGUAJES DE PROGRAMACIÓN-DAFNY | PROGRAMACIÓN BASADA EN INVARIANTESRecursos en línea: Material completo | Informe del corrector (Requiere ingresar al sistema para acceder al archivo solicitado) 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.
| Tipo de ítem | Biblioteca de origen | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|
Trabajo Final de Carrera
|
Centro | Disponible en línea | No para préstamo |
Incluye bibliografía
Tasistro Souto, Álvaro Daniel Moreno Negro, Silvana Szasz Cerutti, Nora Adriana
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.
Español
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.