TY  - THES
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Rubio Cuéllar, Rubén Rafael
A3  - Martí Oliet, Narciso
A3  - Pita Andreu, Isabel
A3  - Verdejo López, Alberto
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/66067
AB  - La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o...
AB  - The formal verification of a program is the proof that it works according to a description of its expected behaviour in any possible execution. The specification of what is desired can use different techniques and go into more or less detail, but to...
LA  - eng
KW  - Algoritmos
KW  - Estructuras de datos
KW  - Especificación
KW  - Verificación automática
KW  - Lógica de Hoare
KW  - Dafny
KW  - Algorithms
KW  - Data structures
KW  - Specification
KW  - Automatic verification
KW  - Hoare logic
TI  - Verificación de algoritmos y estructuras de datos en Dafny
T2  - Verifying algorithms and data structures in Dafny
M3  - bachelor thesis
ER  -