Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic

Browse the full COMPSAC paper archive.