( en | de | ru )

 

Disambiguation of "Vizel, Yakir"

Author of the publication

copydeleteadd this publication to your clipboard
Lazy abstraction and SAT-based reachability in hardware model checking.

, , and . FMCAD, page 173-181. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Vizel, Yakir
add a person with the name Vizel, Yakir
 

Other publications of authors with the same name

Automatic and Incremental Repair for Speculative Information Leaks., , and . CoRR, (2023)SAT-based model checking using interpolation and IC3.. Technion - Israel Institute of Technology, Israel, (2014)Solving Constraints over Bit-Vectors with SAT-based Model Checking., , and . SMT, volume 1889 of CEUR Workshop Proceedings, page 101-107. CEUR-WS.org, (2017)Lazy abstraction and SAT-based reachability in hardware model checking., , and . FMCAD, page 173-181. IEEE, (2012)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . ACM Trans. Design Autom. Electr. Syst., 24 (1): 10:1-10:24 (2019)Efficient Information-Flow Verification Under Speculative Execution., , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 499-514. Springer, (2019)IC3 with Internal Signals., , , and . FMCAD, page 63-71. IEEE, (2021)Template-based Synthesis of Instruction-Level Abstractions for SoC Verification., , , and . FMCAD, page 160-167. IEEE, (2015)Bounded Model Checking for LLVM., , , , , and . FMCAD, page 214-224. IEEE, (2022)Fast Interpolating BMC., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 641-657. Springer, (2015)