TY  - THES
AU  - El Kasouari Qessouri, Salma
A3  - Segura Díaz, Clara María
A3  - Blázquez Saborido, Jorge
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/123856
AB  - La verificación formal es una técnica que permite demostrar, mediante métodos matemáticos, que un programa cumple su especificación (el comportamiento esperado del programa). A diferencia de las pruebas tradicionales, no se basa en casos de prueba...
LA  - spa
KW  - Dafny
KW  - Verificación
KW  - Vuelta atrás
KW  - Especificación
KW  - Poda
KW  - Verification
KW  - Backtracking
KW  - Specification
KW  - Bound
TI  - Verificación de algoritmos de vuelta atrás en Dafny
M3  - bachelor thesis
ER  -