TY  - THES
AU  - Suárez García, Gorka
A3  - Riesco Rodríguez, Adrián
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/19780
AB  - La comprobación de modelos (model checking) es una técnica automática para verificar si una propiedad se cumple en un sistema concurrente. Maude es un marco lógico de alto rendimiento donde se puede especificar, modelar, ejecutar y analizar —de forma...
AB  - Model checking is an automatic technique for verifying whether some properties hold in a concurrent system. Maude is a high-performance logical framework where other systems can be easily specified, executed, and analyzed. Moreover, Maude includes a...
LA  - spa
KW  - Maude
KW  - Comprobación de modelos
KW  - Semántica formal
KW  - Erlang
KW  - JSON
KW  - Model checking
KW  - Formal semantics
TI  - Comprobación de modelos en sistemas concurrentes a partir de su semántica en Maude
M3  - master thesis
ER  -