Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan. Formal Modelling and Verification of Spinlocks at Instruction Level. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 355-362, IEEE, 2019. [doi]
Abstract is missing.