Zing: Exploiting Program Structure for Model Checking Concurrent Software.

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

Browse the full CONCUR paper archive.