Arie Gurfinkel

First name

Arie

Last name

Gurfinkel

Vizel, Yakir, Arie Gurfinkel, Sharon Shoham, and Sharad Malik. 2017. “IC3-Flipping the E in ICE”. In International Conference on Verification, Model Checking, and Abstract Interpretation, 521–538. Springer, Cham.

Reference Link
Vizel, Yakir, Arie Gurfinkel, and Sharad Malik. 2015. “Fast Interpolating BMC”. In International Conference on Computer Aided Verification, 641–657. Springer International Publishing.

Reference Link