Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic. Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. In Hong Va Leong, Sahra Sedigh Sarvestani, Yuuichi Teranishi, Alfredo Cuzzocrea, Hiroki Kashiwazaki, Dave Towey, Ji-Jiang Yang, Hossain Shahriar, editors, 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022. pages 872-877, IEEE, 2022. [doi]
Abstract is missing.