Rubyphi: Automated model checking for Cache coherence protocols in gem5. - XU, Xuezheng; FANG, Jian; LIANG, Shaojie; WANG, Lu; HUANG, Anwen; SUI, Jinggao; LI, Qiong (Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025)