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
|