Thesis

Compile-time Deadlock Detection in Rust using Petri Nets

Link to the PDF in English

Link to the PDF in Spanish

Repository of the tool implemented

Repository of the Petri net library implemented

Folder structure

• .vscode: Configuration for building the project with the LaTeX Workshop extension.
• Bibliography/: For BibTeX entries, organized by type of material.
• dot/: Diagrams in DOT format.
• FrontMatter/: Title page, abstract, acronym definitions, table of contents, list of figures, and list of listings. These are reused for the different versions.
• images/: All images in PNG format, not in SVG.
• presentation_en: A presentation of the Rust programming language and the thesis in English.
• proposal_es/: Original thesis project proposal in Spanish. It is an independent LaTeX sub-project.
• svg/: SVG diagrams.
• thesis_en/: English version of the thesis
  • Chapters/: One folder for each chapter.
• thesis_es/: Spanish version of the thesis. It was translated from the original English version.
  • Capitulos/: One folder for each chapter.
  • raw/: The original PDF text as translated by AI.

Tools used

• LaTeX Workshop
• Grammarly VS Code extension
• Code Spell Checker
• markdownlint
• Graphviz (dot) language support for Visual Studio Code
• shell-format