kevindadi / granite

Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)

Granite

Find Deadlocks in Rust with Petri-Net Model checking. This project was startet as part of my masters thesis "A Petri-Net Semantics for Rust".

• used rust nightly can be found in the rust-toolchain file
• rustc-dev component is needed rustup toolchain install [nightly-x-y-z] --component rustc-dev
• also the linker has to know about the lib folder from the sysroot fiting the toolchain.
• some useful scripts can be found in the script folder. This includes:
  • an install script for the model checker LoLa
  • a run script that can translate programs from ./tests/sample_programs
  • and a script that can analyse the output