Verificación formal de algoritmos fundamentales para la Industria
Supervisor(es): Tasistro Souto, Álvaro Daniel
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 |
| _version_ | 1876380684164005888 |
|---|---|
| author | Colmenero Zito, Guillermo |
| author_facet | Colmenero Zito, Guillermo |
| author_role | author |
| bitstream.checksum.fl_str_mv | ddbcec5a9fe998c8751fd9b05200764b 0eca447108f501bb76f00ce77816aeaf a73737ffd78c761dba9bea58c047519a |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 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 https://rad.ort.edu.uy/bitstreams/15053a6d-1c5c-4d03-86e7-348d5a65a7ed/download |
| collection | RAD |
| dc.contributor.tribunal.es.fl_str_mv | Moreno Negro, Silvana Szasz Cerutti, Nora Adriana |
| dc.creator.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel |
| 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.none.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 | Moreno Negro, SilvanaSzasz Cerutti, Nora AdrianaColmenero Zito, GuillermoTasistro Souto, Álvaro Daniel2017-06-14T14:51:44Z2017-06-14T14:51:44Z2016Colmenero 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/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. grafsEspañolspaUniversidad ORT UruguayLENGUAJES DE PROGRAMACIÓN-DAFNYPROYECTOS-IDPROGRAMACIÓN BASADA EN INVARIANTESVerificación formal de algoritmos fundamentales para la IndustriaTrabajo final de carrerainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesishttps://bibliotecas.ort.edu.uy/bibid/84362reponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFacultad de IngenieríaCarrera UniversitariaIngeniero en SistemasProyectoProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaFI - Ingeniería en Sistemas - IDTHUMBNAILMaterial completo.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.PDFBoxThumbnail on 2024-07-22T18:32:33Z (GMT).Generated Thumbnailimage/jpeg3047https://rad.ort.edu.uy/bitstreams/d7109154-9602-4050-990b-46a2ec2f900e/downloadddbcec5a9fe998c8751fd9b05200764bMD53ORIGINALMaterial completo.pdfDSpace Rest apidescriptionapplication/pdf1488149https://rad.ort.edu.uy/bitstreams/5c16b6ae-dd4a-4622-98f1-3719b1935c16/download0eca447108f501bb76f00ce77816aeafMD51TEXTMaterial completo.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.TikaTextExtractionFilter on 2026-07-10T17:42:53Z (GMT).Extracted texttext/plain94203https://rad.ort.edu.uy/bitstreams/15053a6d-1c5c-4d03-86e7-348d5a65a7ed/downloada73737ffd78c761dba9bea58c047519aMD5420.500.11968/33192026-07-10 14:42:53.285open.accessoai:rad.ort.edu.uy:20.500.11968/3319https://rad.ort.edu.uyhttps://rad.ort.edu.uy/Universidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272026-07-10T17:42:53RAD - 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 |
