Seguir
Yakir Vizel
Yakir Vizel
E-mail confirmado em cs.technion.ac.il - Página inicial
Título
Citado por
Citado por
Ano
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
1482015
Interpolation-sequence based model checking
Y Vizel, O Grumberg
2009 Formal Methods in Computer-Aided Design, 1-8, 2009
812009
Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
662018
Interpolating property directed reachability
Y Vizel, A Gurfinkel
International Conference on Computer Aided Verification, 260-276, 2014
662014
Property directed self composition
R Shemer, A Gurfinkel, S Shoham, Y Vizel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
522019
Lazy abstraction and sat-based reachability in hardware model checking
Y Vizel, O Grumberg, S Shoham
2012 Formal Methods in Computer-Aided Design (FMCAD), 173-181, 2012
502012
Quantifiers on demand
A Gurfinkel, S Shoham, Y Vizel
Automated Technology for Verification and Analysis: 16th International …, 2018
452018
Template-based synthesis of instruction-level abstractions for SoC verification
P Subramanyan, Y Vizel, S Ray, S Malik
2015 Formal Methods in Computer-Aided Design (FMCAD), 160-167, 2015
402015
Lazy self-composition for security verification
W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
302018
Intertwined forward-backward reachability analysis using interpolants
Y Vizel, O Grumberg, S Shoham
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
272013
Efficient generation of small interpolants in CNF
Y Vizel, A Nadel, V Ryvchin
Formal Methods in System Design 47, 51-74, 2015
242015
Interpolating strong induction
HG Vediramana Krishnan, Y Vizel, V Ganesh, A Gurfinkel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
232019
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
232017
Druping for interpolates
A Gurfinkel, Y Vizel
2014 Formal Methods in Computer-Aided Design (FMCAD), 99-106, 2014
232014
Fast interpolating BMC
Y Vizel, A Gurfinkel, S Malik
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
172015
IC3-flipping the E in ICE
Y Vizel, A Gurfinkel, S Shoham, S Malik
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
142017
Verifying verified code
S Priya, X Zhou, Y Su, Y Vizel, Y Bao, A Gurfinkel
Innovations in Systems and Software Engineering 18 (3), 335-346, 2022
112022
Error-tolerant processors: Formal specification and verification
A Golnari, Y Vizel, S Malik
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 286-293, 2015
112015
IC3 with internal signals
R Dureja, A Gurfinkel, A Ivrii, Y Vizel
2021 Formal Methods in Computer Aided Design (FMCAD), 63-71, 2021
102021
Efficient information-flow verification under speculative execution
R Bloem, S Jacobs, Y Vizel
Automated Technology for Verification and Analysis: 17th International …, 2019
102019
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20