TY  - THES
AU  - Hernández Roldán, Rafael Andrés
A3  - Verdejo López, Alberto
A3  - Pita Andreu, Isabel
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/15384
AB  - This project borns from the growing need not only for quality programs but programs that never fail. Nowadays software is several orders of magnitude greater than just a few decades ago and critical software has become even more relevant, since if it...
AB  - Este trabajo nace de la creciente necesidad no solo de programas de calidad, sino de programas que nunca fallen. Actualmente el software es varios órdenes de magnitud más grande que hace tan solo unas décadas y el software crítico se ha vuelto más...
LA  - eng
KW  - Escher C Verifier
KW  - Algorithms
KW  - Aided verification
KW  - Formal verification
KW  - Specification
KW  - Algoritmos
KW  - Verificación asistida
KW  - Verificación formal
KW  - Especificación
TI  - Verification of algorithms in Escher
T2  - Verificación de algoritmos en Escher
M3  - bachelor thesis
ER  -