TY  - THES
AU  - Enríquez Ballester, Adrián
A3  - Montenegro Montes, Manuel
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/73938
AB  - This project addresses the formalization and implementation of a verification system for Elixir, a dynamically typed programming language with functional programming principles. Our system is inspired by projects like Dafny and will likewise rely on a...
AB  - Este proyecto aborda la formalización e implementación de un sistema de verificación para Elixir, un lenguaje de programación funcional dinámicamente tipado. Nuestro sistemaestá inspirado en proyectos como Dafny y, de manera similar, se apoya en una...
LA  - eng
KW  - Program verification
KW  - Elixir
KW  - Metaprogramming
KW  - SMT
KW  - Intermediate representation
KW  - Formal methods
KW  - Verificación de programas
KW  - Metaprogramación
KW  - Representación intermedia
KW  - Métodos formales
TI  - Program Verification in Elixir
T2  - Verificación de programas en Elixir
M3  - master thesis
ER  -