Seguir
Arie Gurfinkel
Arie Gurfinkel
Dirección de correo verificada de uwaterloo.ca - Página principal
Título
Citado por
Citado por
Año
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
International Conference on Computer Aided Verification, 343-361, 2015
4152015
SMT-based model checking for recursive programs
A Komuravelli, A Gurfinkel, S Chaki
Formal Methods in System Design 48, 175-205, 2016
3072016
Horn clause solvers for program verification
N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015
3072015
Multi-valued symbolic model-checking
M Chechik, B Devereux, S Easterbrook, A Gurfinkel
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 371-408, 2003
2792003
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1652014
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1312012
Automatic abstraction in SMT-based unbounded software model checking
A Komuravelli, A Gurfinkel, S Chaki, EM Clarke
International Conference on Computer Aided Verification, 846-862, 2013
1032013
Multi-valued model checking via classical model checking
A Gurfinkel, M Chechik
International conference on concurrency theory, 266-280, 2003
1012003
Simple and precise static analysis of untrusted linux kernel extensions
E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
962019
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
A Albarghouthi, A Gurfinkel, M Chechik
International Workshop on Verification, Model Checking, and Abstract …, 2012
802012
Model-checking in finite state-space systems with fine-grained abstractions using SPIN
M Chechik, B Devereux, A Gurfinkel
International SPIN Workshop on Model Checking of Software, 16-36, 2001
772001
Yasm: A Software Model-Checker for Verification and Refutation: (Tool Paper)
A Gurfinkel, O Wei, M Chechik
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
762006
Maximal specification synthesis
A Albarghouthi, I Dillig, A Gurfinkel
ACM SIGPLAN Notices 51 (1), 789-801, 2016
752016
From under-approximations to over-approximations and back
A Albarghouthi, A Gurfinkel, M Chechik
International conference on tools and algorithms for the construction and …, 2012
732012
Binary function clustering using semantic hashes
W Jin, S Chaki, C Cohen, A Gurfinkel, J Havrilla, C Hines, P Narasimhan
2012 11th International Conference on Machine Learning and Applications 1 …, 2012
692012
SeaHorn: A framework for verifying C programs (competition contribution)
A Gurfinkel, T Kahsai, JA Navas
International Conference on Tools and Algorithms for the Construction and …, 2015
672015
Interpolating property directed reachability
Y Vizel, A Gurfinkel
International Conference on Computer Aided Verification, 260-276, 2014
672014
Boxes: A Symbolic Abstract Domain of Boxes
A Gurfinkel, S Chaki
International Static Analysis Symposium, 287-303, 2010
642010
Why waste a perfectly good abstraction?
A Gurfinkel, M Chechik
International Conference on Tools and Algorithms for the Construction and …, 2006
632006
Temporal logic query checking: A tool for model exploration
A Gurfinkel, M Chechik, B Devereux
IEEE Transactions on Software Engineering 29 (10), 898-914, 2003
632003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20