Verificación formal de algoritmos fundamentales para la Industria
Loading...
Date
2016
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad ORT Uruguay
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.
Description
Incluye bibliografía
Keywords
LENGUAJES DE PROGRAMACIÓN-DAFNY, PROYECTOS-ID, PROGRAMACIÓN BASADA EN INVARIANTES
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