|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Parameterized Verification of Asynchronous Shared-Memory Systems
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza, Pierre Ganty, and Rupak Majumdar. Parameterized verification of asynchronous shared-memory systems. Technical report, arXiv.org, 2013.
Suggested BibTeX entry:
@techreport{DBLP:confcavEsparzaGM13-techreport,
author = {Javier Esparza and Pierre Ganty and Rupak Majumdar},
institution = {arXiv.org},
journal = {arXiv preprint arXiv:1304.1185},
title = {Parameterized Verification of Asynchronous Shared-Memory Systems},
year = {2013}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|