Documents for the masters: "Métodos Formales en Ingeniería Informática"
![[up]](/style/images/multi_up.png)
Up a level18 July 2023
García de la Rosa Jiménez, Saray (2023). EVMInspector:an interactive debugger for smart contracts. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
July 2023
Andrade Guanoquiza, Fernanda Lucía (2023). Detecting noninterference violations with property-based testing. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
June 2023
Munuera Mazarro, David (2023). Specification and verification of WebAssembly programs. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
February 2023
Ferreiro de Aguiar, Daniela (2023). A System for generating interactive tutorials for CiaoPP. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
July 2022
Mata Aguilar, Luis (2022). Building software modelling assistants using Deep Learning. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
16 July 2021
Ballesteros González, Ignacio (2021). SAT solving via Algebraic Normal Form and GPU. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
6 July 2021
Pérez Carrasco, Víctor (2021). Improvements to parametric cost analysis and its application to smart contracts. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
July 2021
Conde de la Mata, Pablo (2021). Analysis of neural networks. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
30 October 2020
Bueso de Barrio, Luis Eduardo 
ORCID: https://orcid.org/0000-0003-4040-2111
(2020).
Model checking of smart contracts using logic programs.
Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).
