Zing: Exploiting Program Structure for Model Checking Concurrent Software
Published in Lecture notes in computer science • Jan 1, 2004
Authors:,,
Tony Andrews
Shaz Qadeer
Sriram K. Rajamani
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!