Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Predicate abstraction and refinement for verifying multi-threaded programs. In POPL, pages 331–344, January 2011.

Suggested BibTeX entry:

@inproceedings{GuptaPOPL11,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {POPL},
    month = {January},
    pages = {331-344},
    title = {Predicate abstraction and refinement for verifying multi-threaded programs},
    year = {2011}
}