TY  - THES
AU  - Blázquez Saborido, Jorge
A3  - Segura Díaz, Clara María
A3  - Montenegro Montes, Manuel
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/73992
AB  - Tree-like data structures are a common way to implement important data types that are pervasively used in many programming languages. Specifically selfbalancing binary search trees can guarantee logarithmic cost for the main operations, making them...
AB  - Las estructuras de datos arborescentes son una forma común de implementar tipos de datos importantes que se usan de forma generalizada en muchos lenguajes de programación. Concretamente, los árboles de búsqueda autoequilibrados pueden garantizar coste...
LA  - eng
KW  - Program verification
KW  - Data structures
KW  - Self-balancing trees
KW  - Dafny
KW  - verificación formal
KW  - Estructuras de datos
KW  - Árboles autoequilibrados
TI  - Verification of tree-like data structures with iterators in Dafny
T2  - Verificación de estructuras de datos arborescentes con iteradores en Dafny
M3  - master thesis
ER  -