TY  - THES 
A3  - García Escudero, Luis Ángel
AU  - Pérez Hernández, Sergio
PY  - 2020
UR  - http://uvadoc.uva.es/handle/10324/43832
AB  - This thesis is focused in testing approximate computing systems, checking, among other things, its hit rate and if they are useful. For these tests, UP- PAAL SMC, a statistical model checking tool, will be used.
AB  - Este trabajo se centra en la prueba de sistemas computacionales aproximados, comprobando, entre otras cosas, su tasa de acierto y si son útiles. Para estas pruebas se utilizará UPPAAL SMC, una herramienta de comprobación de modelos estadísticos.
LA  - eng
KW  - Approximate computing
KW  - Statistical model checking
KW  - UPPAAL
KW  - R
TI  - Statistical model checking in approximate computing systems
M3  - info:eu-repo/semantics/bachelorThesis
ER  -