Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gurfinkel, Arie
106  Ergebnisse:
Personensuche X
?
1

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science, 14681
Gurfinkel, Arie ; Ganesh, Vijay - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
2

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science, 14683
Gurfinkel, Arie ; Ganesh, Vijay - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
3

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science, 14682
Gurfinkel, Arie ; Ganesh, Vijay - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
4

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science
Gurfinkel, Arie ; Ganesh, Vijay , 2024
Link: https://library.oapen.or..
 
?
5

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science
Gurfinkel, Arie ; Ganesh, Vijay , 2024
Link: https://library.oapen.or..
 
?
6

Speculative SAT Modulo SAT:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hari Govind, V. K. ; Garcia-Contreras, Isabel ; Shoham, Sharon. - p. 43-60 , 2024
Link: https://doi.org/10.1007/..
 
?
7

Computer Aided Verification: 36th International Conference,.. 

Lecture Notes in Computer Science
Gurfinkel, Arie ; Ganesh, Vijay , 2024
Link: https://library.oapen.or..
 
?
8

Global guidance for local generalization in model checking:

Vediramana Krishnan, Hari Govind ; Chen, YuTing ; Shoham, Sharon.
Formal Methods in System Design.  , 2023
Link: https://doi.org/10.1007/..
 
?
9

BTOR2MLIR: A Format and Toolchain for Hardware Verification:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Tafese, Joseph ; Garcia-Contreras, Isabel ; Gurfinkel, Arie - p. 55-63 , 2023
Link: https://doi.org/10.34727..
 
?
10

Fast Approximations of Quantifier Elimination:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Garcia-Contreras, Isabel ; Govind, V. K. Hari ; Shoham, Sharon. - p. 64-86 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Efficient Modular SMT-Based Model Checking of Pointer Progr..:

, In: Static Analysis; Lecture Notes in Computer Science,
Garcia-Contreras, Isabel ; Gurfinkel, Arie ; Navas, Jorge A. - p. 227-246 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Abstract Interpretation of LLVM with a Region-Based Memory ..:

, In: Lecture Notes in Computer Science; Software Verification,
Gurfinkel, Arie ; Navas, Jorge A. - p. 122-144 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Bounded Model Checking for LLVM:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Priya, Siddharth ; Su, Yusen ; Bao, Yuyan... - p. 214-224 , 2022
Link: https://doi.org/10.34727..
 
?
14

Solving constrained Horn clauses modulo algebraic data type..:

K, Hari Govind V ; Shoham, Sharon ; Gurfinkel, Arie
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
Link: https://doi.org/10.1145/..
 
?
15

Program Verification with Constrained Horn Clauses (Invited..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Gurfinkel, Arie - p. 19-29 , 2022
Link: https://doi.org/10.1007/..
 
1-15