Scholar
Arie Gurfinkel
Google Scholar ID: WHTB3_MAAAAJ
University of Waterloo
Model Checking
Program Analysis
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,040
H-index
43
i10-index
112
Publications
20
Co-authors
34
list available
Publications
2 items
Verifiable Checks for Business Rule Consistency
2026
Cited
0
Show Me The Money: An Exercise in Proof-Driven Software Understanding
2026
Cited
0
Co-authors
11 total
Marsha Chechik
Professor of Computer Science, University of Toronto
Yakir Vizel
Technion
Aws Albarghouthi
University of Wisconsin–Madison
Nikolaj Bjorner
Microsoft Research
Sharon Shoham
Tel Aviv University
Grigory Fedyukovich
Florida State University
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Yi Li
Nanyang Technological University
