Verifying Opacity of a Modified PSTM.

Yucheng Fang, Huibiao Zhu, Jiaqi Yin

Browse the full TASE paper archive.