An Automatic Parameterized Verification of FLASH Cache Coherence Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yongjian Li' in GoogleThis author has not been identified. Look up 'Jialun Cao' in GoogleThis author has not been identified. Look up 'Kaiqiang Duan' in Google

runs on WebDSL