Zing: A Model Checker for Concurrent Software [chapter]

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
2004 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-27813-9_42 fatcat:ma7l3y7mgndtldki2jmv3wuntm