Yakir Vizel
Technion - Israel Institute of Technology
H-index: 15
Asia-Israel
Top articles of Yakir Vizel
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Hyperproperty verification as chc satisfiability | Shachar Itzhaky Sharon Shoham Yakir Vizel | 2024/4/5 | |
Check for updates Condition Synthesis Realizability via Constrained Horn Clauses | NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings | Bat-Chen Rothenberg Orna Grumberg Yakir Vizel Eytan Singher | 2023/6/2 |
Condition synthesis realizability via constrained horn clauses | Bat-Chen Rothenberg Orna Grumberg Yakir Vizel Eytan Singher | 2023/5/16 | |
Automatic and incremental repair for speculative information leaks | Joachim Bard Swen Jacobs Yakir Vizel | 2023/12/30 | |
Structure-Guided Solution of Constrained Horn Clauses | Omer Rappoport Orna Grumberg Yakir Vizel | 2023/10/19 | |
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II | Sharon Shoham Yakir Vizel | 2022 | |
Bounded Model Checking for LLVM. | Siddharth Priya Yusen Su Yuyan Bao Xiang Zhou Yakir Vizel | 2022/10/17 | |
Verifying verified code | Innovations in Systems and Software Engineering | Siddharth Priya Xiang Zhou Yusen Su Yakir Vizel Yuyan Bao | 2022/9 |
Bit-Level Model Checking | Alexander Ivrii Yakir Vizel | 2022/4/13 | |
IC3 with internal signals | Rohit Dureja Arie Gurfinkel Alexander Ivrii Yakir Vizel | 2021/10/19 | |
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings | Dirk Beyer Damien Zufferey | 2020/1/14 |