Master's Thesis - Elixir Code Verification

A LaTeX project for a master's thesis in formal methods about Elixir code verification. The implementation discussed in the document is available here.

Usage

# Generate the thesis PDF file
make full

# Refresh the thesis PDF file after small changes
make fast

# Generate the slides PDF file
make slides

# Remove the auxiliary files
make clean

# Clean and also remove the generated PDF files
make distclean

Authorship comment

This LaTeX project has been created with the TeXiS template for thesis documents, so it contains some of its source files and also some modified ones.