TY  - THES
AU  - Holubanský, Jakub
AU  - Mínguez Horcajada, Álvaro
A3  - Peña Mari, Ricardo Vicente
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/66084
AB  - De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el...
LA  - spa
KW  - Análisis de terminación
KW  - Verificación de programas
KW  - Programación líneal
KW  - Autómatas finitos con variables enteras
KW  - Termination analysis
KW  - Program verification
KW  - Linear programming
KW  - Integer interpreted automata
TI  - Análisis de terminación para una plataforma de verificación de programas
T2  - Analysis termination for a program verification platform
M3  - bachelor thesis
ER  -