/master-thesis

RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

Primary LanguageTeX

Master Thesis

This repository contains the master thesis for my Computer Science and Engineering degree at Luleå University of Technology 2021.

Dependencies

  • Any LaTeX distribution
  • Biber for biblatex (references)
  • latexmk for document generation

Building PDF

Using latexmk you can generate the entire thesis to PDF by running the command

$ latexmk -pdf

alternatively it can be built in continuous mode by running the script ./build.sh.