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

[pdf]  [ps] 

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},
}