Browsing Trabajos finales de carrera by Subject "LENGUAJES DE PROGRAMACIÓN-DAFNY"

Sort by: Order: Results:

  • Ferreira Lozano, Nicolás (Universidad ORT Uruguay, 2018)
    En los últimos diez años han aparecido herramientas para la verificación formal de programas que están entre los verificadores completamente automáticos y los verificadores que aceptan entrada del usuario en todos los pasos ...
  • Colmenero Zito, Guillermo (Universidad ORT Uruguay, 2016)
    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 ...