팔로우
Arie Gurfinkel
Arie Gurfinkel
uwaterloo.ca의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
3402015
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
2592003
SMT-based model checking for recursive programs
A Komuravelli, A Gurfinkel, S Chaki
Formal Methods in System Design 48, 175-205, 2016
2532016
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
2502015
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1542014
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
1272012
Multi-valued model checking via classical model checking
A Gurfinkel, M Chechik
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
962003
Automatic abstraction in SMT-based unbounded software model checking
A Komuravelli, A Gurfinkel, S Chaki, EM Clarke
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
892013
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
A Albarghouthi, A Gurfinkel, M Chechik
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
762012
Model-checking in finite state-space systems with fine-grained abstractions using SPIN
M Chechik, B Devereux, A Gurfinkel
Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001
762001
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
702006
SeaHorn: A framework for verifying C programs (competition contribution)
A Gurfinkel, T Kahsai, JA Navas
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
642015
Maximal specification synthesis
A Albarghouthi, I Dillig, A Gurfinkel
ACM SIGPLAN Notices 51 (1), 789-801, 2016
622016
Craig interpretation
A Albarghouthi, A Gurfinkel, M Chechik
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
612012
From under-approximations to over-approximations and back
A Albarghouthi, A Gurfinkel, M Chechik
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
612012
Why waste a perfectly good abstraction?
A Gurfinkel, M Chechik
TACAS 3920, 212-226, 2006
612006
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
602012
Boxes: A Symbolic Abstract Domain of Boxes
A Gurfinkel, S Chaki
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
602010
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
592003
How vacuous is vacuous?
A Gurfinkel, M Chechik
TACAS 2988, 451-466, 2004
582004
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20