Verificación formal de algoritmos fundamentales para la Industria

Loading...
Thumbnail Image
Date
2016
Authors
Colmenero Zito, Guillermo
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
Abstract
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.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Ingeniero en Sistemas
62 p. grafs
Notes
Incluye bibliografía
Subject
LENGUAJES DE PROGRAMACIÓN-DAFNY, PROYECTOS-ID, PROGRAMACIÓN BASADA EN INVARIANTES
Type
Trabajo final de carrera
Access the full text
Citation
Colmenero 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/3319
Rights license