Model Checking

Alloy (specification language) - Wikipedia

• url: https://en.wikipedia.org/wiki/Alloy_(specification_language)

.

multi tasking - Help understanding Petersons Algorithm for N Processes - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/164777/help-understanding-petersons-algorithm-for-n-processes
• future-topics: Promela

.

Sally by SRI-CSL

• url: https://sri-csl.github.io/sally/
• associated-repo-url: https://github.com/SRI-CSL/sally

.

The Omega Library Interface Guide

• url: https://www.cs.umd.edu/projects/omega/interface_doc/interface.html

.

Getting started with SMV

• url: https://santos.cs.ksu.edu/smv-doc/tutorial/tutorial.html

.