Documents for the masters: "Métodos Formales en Ingeniería Informática"
![]() | Up a level |
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).
30 October 2020
Bueso de Barrio, Luis Eduardo (2020). Model checking of smart contracts using logic programs. Thesis (Master thesis), E.T.S. de Ingenieros Informáticos (UPM).