Modeling and Verifying Multi-core Programs.

Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang

Browse the full COCOA paper archive.