markhakansson / master-thesis

RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution


Languages

Language:TeX 94.9%Language:Rust 5.0%Language:Shell 0.1%