TY  - THES
AU  - Páez Velasco, Pablo
A3  - Verdejo López, Alberto
A3  - Martí Oliet, Narciso
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/10185
AB  - Whilst the number of programming languages continuously increases, along with their multiple applications, the need of guaranteeing correction or predicting the outcome of a certain program arises. Due to the lack of information that is often...
AB  - En un contexto en el cual el número de lenguajes de programación cada vez es más elevado, y su uso se extiende a un mayor número de ámbitos, aparece la necesidad de asegurar la corrección o de determinar el resultado de ciertos programas. Debido a la...
LA  - eng
KW  - Ethereum
KW  - Maude
KW  - Operational semantics
KW  - Solidity
KW  - Storage
KW  - Semántica operacional
TI  - Providing formal semantics for Solidity to allow its verification
T2  - Dotación de una semántica formal a Solidity que permita suverificación
M3  - bachelor thesis
ER  -