[Gems-users] Checking new protocol

[Blas Cuesta <blacuesa@xxxxxxxxxx>]

Hello!

I have done some modifications in the Token Coherence protocol implementation 
and I would like to check if these changes are correct. Is there any way to 
check it? I run some simulations and, If any of them does not fail, I suppose 
the changes are correct. Could anyone tell me if there is another more 
reliable method?

Thanks,

Blas.