Sharon Shoham

1. Global Guidance for Local Generalization in Model Checking
   2020/05/27 by Hari Govind V K, YuTing Chen, K, Hari Govind V +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
2. 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
3. Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
   2021/12/10 by Jason R. Koenig, Koenig, Jason R., Oded Padon +5 · 1 citation
   Computer Science · #D.2.4 #Distributed systems and fault tolerance #F.3.1 #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Topic Modeling