Follow
Yakir Vizel
Yakir Vizel
Verified email at cs.technion.ac.il - Homepage
Title
Cited by
Cited by
Year
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
1772015
Interpolation-sequence based model checking
Y Vizel, O Grumberg
2009 Formal Methods in Computer-Aided Design, 1-8, 2009
922009
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
862018
Interpolating property directed reachability
Y Vizel, A Gurfinkel
International Conference on Computer Aided Verification, 260-276, 2014
762014
Property directed self composition
R Shemer, A Gurfinkel, S Shoham, Y Vizel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
602019
Quantifiers on demand
A Gurfinkel, S Shoham, Y Vizel
Automated Technology for Verification and Analysis: 16th International …, 2018
512018
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
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
452015
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
322018
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
322013
DRUPing for interpolates
A Gurfinkel, Y Vizel
2014 Formal Methods in Computer-Aided Design (FMCAD), 99-106, 2014
272014
Interpolating strong induction
HG Vediramana Krishnan, Y Vizel, V Ganesh, A Gurfinkel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
262019
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
252017
Efficient generation of small interpolants in CNF
Y Vizel, A Nadel, V Ryvchin
Formal Methods in System Design 47, 51-74, 2015
252015
Fast interpolating BMC
Y Vizel, A Gurfinkel, S Malik
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
182015
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
132022
IC3 with internal signals
R Dureja, A Gurfinkel, A Ivrii, Y Vizel
2021 Formal Methods in Computer Aided Design (FMCAD), 63-71, 2021
122021
Efficient information-flow verification under speculative execution
R Bloem, S Jacobs, Y Vizel
Automated Technology for Verification and Analysis: 17th International …, 2019
122019
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
The system can't perform the operation now. Try again later.
Articles 1–20