Re: [Gems-users] Checking new protocol

[Mike Marty <mikem@xxxxxxxxxxx>]

The random tester is designed to stress-test the correctness of the 
protocols.  It catches many errors, but does not have 100% coverage. 

--Mike


Blas Cuesta wrote:
> 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.
> _______________________________________________
> Gems-users mailing list
> Gems-users@xxxxxxxxxxx
> https://lists.cs.wisc.edu/mailman/listinfo/gems-users
>