Shoham, Sharon
- 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)
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
2019/05/19 by Berkovits, Idan, Lazic, Marijana, Losa, Giuliano +2 · 2 citations
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
- 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
- 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
- Complexity and Information in Invariant Inference
2019/10/27 by Feldman, Yotam M. Y., Immerman, Neil, Sagiv, Mooly +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- 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