An Automatic Parameterized Verification of FLASH Cache Coherence Protocol

Yongjian Li, Jialun Cao, Kaiqiang Duan. An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. In 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018. pages 47-58, IEEE, 2018. [doi]

Abstract

Abstract is missing.