TY  - THES
AU  - Fuente Lorenzo, Laura de la
A3  - Riesco Rodríguez, Adrián
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/5125
AB  - Este trabajo busca proporcionar una especificación formal al lenguaje de contratos inteligentes Scilla mediante el lenguaje Maude, para así poder ejecutar contratos reales siempre que estén escritos adecuadamente y realizar un análisis para detectar...
AB  - The present project seeks to provide a formal specification to the Scilla smart contract language using the Maude language, in order to be able to execute real contracts, as long as they are properly written, and to perform an analysis in order to...
LA  - spa
KW  - Maude
KW  - Scilla
KW  - Lógica de reescritura
KW  - Contratos inteligentes
KW  - Metarrepresentación
KW  - Especificación formal.
KW  - Reewriting logic
KW  - Smart contracts
KW  - Metarepresentation
KW  - Formal specification
TI  - Especificación de Scilla en Maude
T2  - Specification of Scilla in Maude
M3  - master thesis
ER  -