Verificación formal de algoritmos fundamentales para la Industria
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.
| 2016 | |
|
LENGUAJES DE PROGRAMACIÓN-DAFNY PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/3319 | |
| Acceso abierto |
