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]
@inproceedings{LiCD18-0,
title = {An Automatic Parameterized Verification of FLASH Cache Coherence Protocol},
author = {Yongjian Li and Jialun Cao and Kaiqiang Duan},
year = {2018},
doi = {10.1109/QRS.2018.00018},
url = {https://doi.org/10.1109/QRS.2018.00018},
researchr = {https://researchr.org/publication/LiCD18-0},
cites = {0},
citedby = {0},
pages = {47-58},
booktitle = {2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018},
publisher = {IEEE},
isbn = {978-1-5386-7757-5},
}