MK4H/MESI_Promela

Verification of the MESI protocol using Promela and spin