Reference:

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

Suggested BibTeX entry:

@inproceedings{DBLP:confcavGuptaPR11,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {CAV},
    editor = {Ganesh Gopalakrishnan and Shaz Qadeer},
    pages = {412-417},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Threader: A Constraint-Based Verifier for Multi-threaded Programs},
    volume = {6806},
    year = {2011}
}