Yakir Vizel

Technion Israel Institute of Technology - Haifa / Israel

Others

AD Scientific Index ID: 531852

הטכניון – מכון טכנולוגי לישראל

Registration, Add Profile,
Premium Membership

Print Your Certificate

Yakir Vizel's MOST POPULAR ARTICLES

1-) Boolean satisfiability solvers and their applications in model checkingY Vizel, G Weissenbacher, S MalikProceedings of the IEEE 103 (11), 2021-2035, 20151172015

2-) Interpolation-sequence based model checkingY Vizel, O Grumberg2009 Formal Methods in Computer-Aided Design, 1-8, 2009702009

3-) Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verificationBY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S MalikACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018672018

4-) Interpolating property directed reachabilityY Vizel, A GurfinkelInternational Conference on Computer Aided Verification, 260-276, 2014782014

5-) Property directed self compositionR Shemer, A Gurfinkel, S Shoham, Y VizelComputer Aided Verification: 31st International Conference, CAV 2019, New …, 2019622019

ARTICLES

Add your articles