TY  - THES
AU  - Pastor Pérez, Paula Eugenia
A3  - Segura Díaz, Clara María
A3  - Montenegro Montes, Manuel
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/73993
AB  - The proof that a program works according to a previously established behavior is known as formal verification. The use of formal verification techniques is increasing in recent years and in areas of the software industry. In this paper, the behavior...
AB  - La demostración de que un programa funciona de acuerdo a un comportamiento previamente establecido es lo que se conoce como verificación formal. El empleo de técnicas de verificación formal está incrementándose en los últimos años y en áreas de la...
LA  - eng
KW  - Formal verification
KW  - Greedy algorithms
KW  - Mathematical proofs
KW  - Dafny
KW  - Specification
KW  - Programming methodology.
KW  - Verificación formal
KW  - Algoritmos voraces
KW  - Demostraciones matemáticas
KW  - Especificación
KW  - Metodología de programación.
TI  - Verification of Greedy Algorithms in Dafny
T2  - Verificación de algoritmos voraces en Dafni
M3  - master thesis
ER  -