|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. Hsf(c): A software verifier based on horn clauses - (competition contribution). In TACAS, pages 549–551, March 2012.
Suggested BibTeX entry:
@inproceedings{GrebenshchikovTACAS12,
author = {Sergey Grebenshchikov and Ashutosh Gupta and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
booktitle = {TACAS},
month = {March},
pages = {549-551},
title = {HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)},
year = {2012}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|