|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Reduction for compositional verification of multi-threaded programs
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Corneliu Popeea, Andrey Rybalchenko, and Andreas Wilhelm. Reduction for compositional verification of multi-threaded programs. In Formal Methods in Computer-Aided Design, FMCAD 2014, 2014.
Suggested BibTeX entry:
@inproceedings{PopeeaFMCAD14,
author = {Corneliu Popeea and Andrey Rybalchenko and Andreas Wilhelm},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014},
title = {Reduction for compositional verification of multi-threaded programs},
year = {2014}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|