So many states, so little time: verifying memory coherence in the Cray X1 | IEEE Conference Publication | IEEE Xplore