Zing: A Model Checker for Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Browse the full CAV paper archive.