Tasistro Souto, Álvaro Daniel2017-06-142017-06-142016Colmenero 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/3319http://hdl.handle.net/20.500.11968/3319Incluye bibliografíaEn 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.62 p. grafsLENGUAJES DE PROGRAMACIÓN-DAFNYPROYECTOS-IDPROGRAMACIÓN BASADA EN INVARIANTESTrabajo final de carrera