The Verification of rCOS Using Spin

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu. The Verification of rCOS Using Spin. Electronic Notes in Theoretical Computer Science, 207:49-67, 2008. [doi]

Abstract

Abstract is missing.