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.