Idan Berkovits
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
2019/05/19 by Idan Berkovits, Marijana Lazic, Berkovits, Idan +8 · 2 citations
Computer Science · Social Sciences · #Access Control and Trust #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #Semantic Web and Ontologies #and Cluster Computing (cs.DC) #cs.DC #cs.LO #cs.PL