Vizel, Yakir

1. Property Directed Self Composition
   2019/05/19 by Shemer, Ron, Gurfinkel, Arie, Shoham, Sharon +1 · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Hyperproperty Verification as CHC Satisfiability
   2023/04/25 by Shachar Itzhaky, Sharon Shoham, Itzhaky, Shachar +3 · 3 citations
   Computer Science · Decision Sciences · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Scientific Computing and Data Management
3. Interpolating Strong Induction
   2019/06/04 by K, Hari Govind V, Vizel, Yakir, Ganesh, Vijay +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Property Directed Reachability with Extended Resolution
   2025/05/25 by Luka, Andrew, Vizel, Yakir · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)