TY  - THES
AU  - Blázquez Saborido, Jorge
A3  - Segura Díaz, Clara María
A3  - Montenegro Montes, Manuel
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/10446
AB  - Formal verification is gaining adoption in the parts of the software industry where full correctness of a system is needed. Dafny is a programming language with verification capabilities that allows the programmer to formally specify their code and...
AB  - El uso de la verificación formal está creciendo en las áreas de la industria del software donde se necesita la corrección total de un sistema. Dafny es un lenguaje de programación capaz de verificar programas que permite al programador especificar...
LA  - eng
KW  - Program verification
KW  - Data structures
KW  - Abstract data types
KW  - Dafny.
KW  - Verificación formal
KW  - Estructuras de datos
KW  - Tipos abstractos de datos
TI  - Verification of linked data structures in Dafny
T2  - Verificación de estructuras de datos enlazadas en Dafny
M3  - bachelor thesis
ER  -