Reference:

Corneliu Popeea and Andrey Rybalchenko. Threader: A verifier for multi-threaded programs - (competition contribution). In TACAS, pages 633–636, March 2013.

Suggested BibTeX entry:

@inproceedings{PopeeaTACAS13,
    author = {Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {TACAS},
    month = {March},
    pages = {633-636},
    title = {Threader: A Verifier for Multi-threaded Programs - (Competition Contribution)},
    year = {2013}
}