Arie Gurfinkel

No bio available. Add one in Open Library.

Books by Arie Gurfinkel (50 max)

+ shelf+ list

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

2024

Arie Gurfinkel, Vijay Ganesh

+ shelf+ list

Verified Software : Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2016

Arie Gurfinkel, Sanjit A. Seshia

+ shelf+ list

Multi-valued symbolic model-checking: counter-examples, running time.

2003

Arie Gurfinkel