Code for Formally Verifying ftToken: A Fault-Tolerant Token-Based Cache Coherence Protocol for Chip Multiprocessors

Report on our findings can be found in EECS_570_Final_Paper.pdf

Contributors (sorted by Last Name): Advait Iyer, Arjun Laxman, Mustafa Miyaziwala, Noel Pamenan, Sanidhya Patel.