Cache Coherency in SCI: Specification and a Sketch of Correctness.

Amy P. Felty Frank A. Stomp

Published in: Formal Aspects Comput. (1999)

Keyphrases

provably correct
prefetching
data access
hit rate
cache replacement
main memory
formal specification
back end
hit ratio
formal methods
conceptual model
database systems
high level
data sets
specification language
user defined
database management systems
web caching