Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Threader: A constraint-based verifier for multi-threaded programs. In CAV, pages 412–417, July 2011.

Suggested BibTeX entry:

@inproceedings{GuptaCAV11,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {CAV},
    month = {July},
    pages = {412-417},
    title = {Threader: {A} Constraint-Based Verifier for Multi-threaded Programs},
    year = {2011}
}