AGArie Gurfinkel
Arie Gurfinkel
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Arie Gurfinkel has a total of 3 co-authors. Here are the top co-authors by number of shared publications:
- Anvesh Komuravelli
Carnegie Mellon University
1 shared publication - Jorge A. Navas
NASA Ames Research Center
1 shared publication - Temesghen Kahsai
Carnegie Mellon University
1 shared publication
Latest Publications
- Top Cited Papers
- 16 July 2015
- Published by Springer Nature
- p. 343-361
The SeaHorn Verification Framework
- 16 July 2015
- Published by Springer Nature
- p. 343-361
Top Cited PapersThe SeaHorn Verification Framework