A Modular Checker for Multithreaded Programs
Cormac Flanagan, Shaz Qadeer, and Sanjit A. Seshia. A Modular Checker for Multithreaded Programs. In Proc. 14th International Conference on Computer-Aided Verification (CAV), pp. 180–194, Lecture Notes in Computer Science 2404, Springer, July 2002.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{FQS02, author = {Cormac Flanagan and Shaz Qadeer and Sanjit A. Seshia}, title = {A Modular Checker for Multithreaded Programs}, booktitle = CAV02, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {2404}, year = {2002}, month = {July}, pages = {180-194}, }