Model Checking Data Consistency for Cache Coherence Protocols.

Hong Pan Huimin Lin Yi Lv

Published in: J. Comput. Sci. Technol. (2006)

Keyphrases

model checking
temporal logic
formal specification