Skip to content
This repository has been archived by the owner on Jun 20, 2022. It is now read-only.

RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

Notifications You must be signed in to change notification settings

markhakansson/master-thesis

Repository files navigation

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

Resources

Stars

Watchers

Forks

Packages

No packages published