Specification and Verification of LambdaRAM- A Wide-area Distributed Cache for High Performance Computing | IEEE Conference Publication | IEEE Xplore