Spin presentation

This is the repository of Formal Methods for Concurrent and Real-Time Systems course tool presentation about SPIN

FMC&RTS is a course of the Master's degree in Computer Science at Politecnico di Milano.

For the best experience, please use the online version or compile the presentation locally; otherwise, you can find the exported pdf version in the docs folder.

How to run the presentation locally

Slidev is used to compile the presentation. To install it, be sure to have Node.js >= 14.0 installed, if not install it from here.

Then, install Slidev (we recommend to install it globally):

npm install -g @slidev/cli

Finally, head to the directory and compile the presentation using the following command:

slidev