TY  - THES
AU  - Martín Viñuelas, Pablo
A3  - Segura Díaz, Clara María
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/106903
AB  - La verificación formal de programas permite expresar y comprobar las propiedades que cumplen los programas. El objetivo de este proyecto es el de verificar algoritmos que computan información sobre los segmentos de un vector, como por ejemplo el...
LA  - spa
KW  - Verificación
KW  - Dafny
KW  - Algoritmia
KW  - Verificación asistida
KW  - Verification
KW  - Algorithmics
KW  - Assisted verification
TI  - Verificación de algoritmos sobre segmentos de un vector utilizando módulos abstractos en Dafny
T2  - Verification of algorithms on array slices using abstract modules in Dafny
M3  - bachelor thesis
ER  -