A fortress safe from deadlocks, proved with formal verification
This repository fulfills the final project from the
Cockrell School of Engineering EE 360P Spring 2016 curriculum taught
by Professor Vijay Garg.
Objective:
Specify and verify the correctness of at least four different distributed
algorithms using Promela language and the SPIN model checker.
This assignment is from the Spring 2012 Final Project list.
This project contains submodules, to initialize them during download clone with
the following options
git clone --recursive https://github.com/stormosson/camelot
See build instructions.