Verificación formal de algoritmos fundamentales para la Industria

Colmenero Zito, Guillermo

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.


Detalles Bibliográficos
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
_version_ 1807261355233771520
author Colmenero Zito, Guillermo
author_facet Colmenero Zito, Guillermo
author_role author
bitstream.checksum.fl_str_mv ddbcec5a9fe998c8751fd9b05200764b
0eca447108f501bb76f00ce77816aeaf
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
bitstream.url.fl_str_mv https://rad.ort.edu.uy/bitstreams/d7109154-9602-4050-990b-46a2ec2f900e/download
https://rad.ort.edu.uy/bitstreams/5c16b6ae-dd4a-4622-98f1-3719b1935c16/download
collection RAD
dc.contributor.advisor.none.fl_str_mv Tasistro Souto, Álvaro Daniel
dc.contributor.tribunal.es.fl_str_mv Moreno Negro, Silvana
Szasz Cerutti, Nora Adriana
dc.creator.none.fl_str_mv Colmenero Zito, Guillermo
dc.date.accessioned.none.fl_str_mv 2017-06-14T14:51:44Z
dc.date.available.none.fl_str_mv 2017-06-14T14:51:44Z
dc.date.issued.es.fl_str_mv 2016
dc.description.abstract.none.fl_txt_mv 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.
dc.description.es.fl_txt_mv Incluye bibliografía
dc.format.extent.es.fl_str_mv 62 p. grafs
dc.identifier.citation.es.fl_str_mv 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
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.11968/3319
http://hdl.handle.net/20.500.11968/3319
dc.language.iso.none.fl_str_mv Español
spa
dc.publisher.es.fl_str_mv Universidad ORT Uruguay
dc.relation.other.es.fl_str_mv https://bibliotecas.ort.edu.uy/bibid/84362
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv reponame:RAD
instname:Universidad ORT Uruguay
instacron:Universidad ORT
dc.subject.es.fl_str_mv LENGUAJES DE PROGRAMACIÓN-DAFNY
PROYECTOS-ID
PROGRAMACIÓN BASADA EN INVARIANTES
dc.title.none.fl_str_mv Verificación formal de algoritmos fundamentales para la Industria
dc.type.es.fl_str_mv Trabajo final de carrera
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
description Incluye bibliografía
eu_rights_str_mv openAccess
format bachelorThesis
id RAD_c601a2ae80999fbf293e71d83fbe45fc
identifier_str_mv 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
instacron_str Universidad ORT
institution Universidad ORT
instname_str Universidad ORT Uruguay
language spa
language_invalid_str_mv Español
network_acronym_str RAD
network_name_str RAD
oai_identifier_str oai:rad.ort.edu.uy:20.500.11968/3319
publishDate 2016
reponame_str RAD
repository.mail.fl_str_mv rodriguez_v@ort.edu.uy
repository.name.fl_str_mv RAD - Universidad ORT Uruguay
repository_id_str 3927
spelling Tasistro Souto, Álvaro DanielMoreno Negro, SilvanaSzasz Cerutti, Nora AdrianaColmenero Zito, Guillermo2017-06-14T14:51:44Z2017-06-14T14:51:44Z2016Incluye 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. grafsColmenero 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/3319http://hdl.handle.net/20.500.11968/3319EspañolspaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/84362LENGUAJES DE PROGRAMACIÓN-DAFNYPROYECTOS-IDPROGRAMACIÓN BASADA EN INVARIANTESVerificación formal de algoritmos fundamentales para la IndustriaTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Ingeniería en Sistemas - IDFacultad de IngenieríaCarrera UniversitariaIngeniero en SistemasProyectoProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3047https://rad.ort.edu.uy/bitstreams/d7109154-9602-4050-990b-46a2ec2f900e/downloadddbcec5a9fe998c8751fd9b05200764bMD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf1488149https://rad.ort.edu.uy/bitstreams/5c16b6ae-dd4a-4622-98f1-3719b1935c16/download0eca447108f501bb76f00ce77816aeafMD5120.500.11968/33192024-07-22 15:32:33.089oai:rad.ort.edu.uy:20.500.11968/3319https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:32:33RAD - Universidad ORT Uruguayfalse
spellingShingle Verificación formal de algoritmos fundamentales para la Industria
Colmenero Zito, Guillermo
LENGUAJES DE PROGRAMACIÓN-DAFNY
PROYECTOS-ID
PROGRAMACIÓN BASADA EN INVARIANTES
status_str publishedVersion
title Verificación formal de algoritmos fundamentales para la Industria
title_full Verificación formal de algoritmos fundamentales para la Industria
title_fullStr Verificación formal de algoritmos fundamentales para la Industria
title_full_unstemmed Verificación formal de algoritmos fundamentales para la Industria
title_short Verificación formal de algoritmos fundamentales para la Industria
title_sort Verificación formal de algoritmos fundamentales para la Industria
topic LENGUAJES DE PROGRAMACIÓN-DAFNY
PROYECTOS-ID
PROGRAMACIÓN BASADA EN INVARIANTES
url http://hdl.handle.net/20.500.11968/3319

Resultados similares