Arie Gurfinkel
Arie Gurfinkel
Bestätigte E-Mail-Adresse bei uwaterloo.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2342003
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
International Conference on Computer Aided Verification, 343-361, 2015
2062015
SMT-based model checking for recursive programs
A Komuravelli, A Gurfinkel, S Chaki
Formal Methods in System Design 48 (3), 175-205, 2016
1572016
Horn clause solvers for program verification
N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko
Fields of Logic and Computation II, 24-51, 2015
1472015
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1242014
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
International Conference on Computer Aided Verification, 672-678, 2012
1062012
Multi-valued model checking via classical model checking
A Gurfinkel, M Chechik
International Conference on Concurrency Theory, 266-280, 2003
842003
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
A Albarghouthi, A Gurfinkel, M Chechik
International Workshop on Verification, Model Checking, and Abstract …, 2012
672012
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
652001
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
632013
Yasm: A Software Model-Checker for Verification and Refutation
A Gurfinkel, O Wei, M Chechik
International Conference on Computer Aided Verification, 170-174, 2006
602006
Craig interpretation
A Albarghouthi, A Gurfinkel, M Chechik
International Static Analysis Symposium, 300-316, 2012
582012
Why waste a perfectly good abstraction?
A Gurfinkel, M Chechik
International Conference on Tools and Algorithms for the Construction and …, 2006
572006
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
542003
χChek: a multi-valued model-checker
M Chechik, A Gurfinkel, B Devereux
International Conference on Computer Aided Verification, 505-509, 2002
542002
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
532012
How vacuous is vacuous?
A Gurfinkel, M Chechik
International Conference on Tools and Algorithms for the Construction and …, 2004
532004
Proof-like counter-examples
A Gurfinkel, M Chechik
International Conference on Tools and Algorithms for the Construction and …, 2003
522003
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
502015
Boxes: A symbolic abstract domain of boxes
A Gurfinkel, S Chaki
International Static Analysis Symposium, 287-303, 2010
462010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20