Author:Arie Gurfinkel

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint 10000
Efficient Simulation for Hardware Model Checking Joseph Tafese and Arie Gurfinkel In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated analysis of Stateflow models Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai and Xavier Thirioux In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Instantiations, Zippers and EPR Interpolation Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning