Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas | IEEE Journals & Magazine | IEEE Xplore