PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vizel, Yakir"

Author of the publication

copydeleteadd this publication to your clipboard
Boolean Satisfiability Solvers and Their Applications in Model Checking.

, , and . Proceedings of the IEEE, 103 (11): 2021-2035 (2015)

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

Lazy abstraction and SAT-based reachability in hardware model checking., , and . FMCAD, page 173-181. IEEE, (2012)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)Boolean Satisfiability Solvers and Their Applications in Model Checking., , and . Proceedings of the IEEE, 103 (11): 2021-2035 (2015)Efficient Generation of Small Interpolants in CNF., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 330-346. Springer, (2013)PPU: A Control Error-Tolerant Processor for Streaming Applications with Formal Guarantees., , , , and . JETC, 13 (3): 43:1-43:29 (2017)Intertwined Forward-Backward Reachability Analysis Using Interpolants., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 308-323. Springer, (2013)Template-based Synthesis of Instruction-Level Abstractions for SoC Verification., , , and . FMCAD, page 160-167. IEEE, (2015)DRUPing for interpolates., and . FMCAD, page 99-106. IEEE, (2014)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)Fast Interpolating BMC., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 641-657. Springer, (2015)