conf.researchr.org / Yakir Vizel
Yakir Vizel

Registered user since Sat 18 Apr 2020

Name:Yakir Vizel
Country:Israel
Affiliation:Technion—Israel Institute of Technology
Personal website:http://www.cs.technion.ac.il/~yvizel/index.html
Research interests:Formal Verification, Model Checking

Contributions

NASA Formal Methods Author of Condition Synthesis Realizability via Constrained Horn Clauses within the NFM 2023-track
SPIN 2021 Technion—Israel Institute of Technology in Programming Committee within the SPIN-track
VMCAI 2021 Conference Co-Chair in Organizing Committee within the VMCAI-track
Session Chair of Invited talk (part of VMCAI)
Session Chair of Invited talk (part of VMCAI)
VMCAI 2017 Author of IC3 - Flipping the E in ICE within the VMCAI-track