|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Predicate abstraction and refinement for verifying multi-threaded programs
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
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}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|