Itzhaky, Shachar

1. Hyperproperty Verification as CHC Satisfiability
   2023/04/25 by Shachar Itzhaky, Itzhaky, Shachar, Sharon Shoham +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
2. Colored E-Graph: Equality Reasoning with Conditions
   2023/05/30 by Eytan Singher, Shachar Itzhaky, Singher, Eytan +1 · 2 citations
   Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
3. On the automated verification of web applications with embedded SQL
   2016/10/06 by Shachar Itzhaky, Itzhaky, Shachar, Tomer Kotek +11 · 1 citation
   Computer Science · #68P15 #68Q60 #D.3.2 #Engineering and Information Technology #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Web Application Security Vulnerabilities