Formal Modelling and Verification of Spinlocks at Instruction Level.

Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan

Browse the full APSEC paper archive.